Mercurial > repos > sybila > ebcsgen_generate_transition_system
directory /test-data/ @ 3:63abad9342a6 draft default tip
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
simple.bcsl.model | 142 | -rw-r--r-- |
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
simple.bcsl.model | 142 | -rw-r--r-- |