nemo icon indicating copy to clipboard operation
nemo copied to clipboard
verified publisher icon ebfull

Heterogeneous selection

Open ebfull opened this issue 10 years ago • 0 comments

Similar to how session_types works, but specifically for our Blocking backend.

ebfull avatar Oct 23 '15 13:10 ebfull