ehmry
/
meta
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
meta/config/dataspaces/exec.pr

3 lines
53 B
Promela
Raw Blame History

let ?exec-space = dataspace
<exec-space $exec-space>
Reference in New Issue View Git Blame Copy Permalink