summaryrefslogtreecommitdiff
path: root/src/Manifest.txt
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-24 19:45:56 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-24 19:45:56 +0200
commit3e6a6e0efb13f3dc8989a4a2f74e5ea91820eb7a (patch)
tree09e8a276f90ce11f3710564f633bd778dce52645 /src/Manifest.txt
Starting an IDP model checker for HaStABel...
Diffstat (limited to 'src/Manifest.txt')
0 files changed, 0 insertions, 0 deletions