Mercurial > repos > sybila > ebcsgen_generate_transition_system
directory /test-data/ @ 2:855524a46237 draft
| 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-- |