summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-23 17:41:49 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-23 17:41:49 +0200
commit743f5cd5fb39e3ec58f94e43fe25ae8c25de7443 (patch)
tree34a3e7e660c1d1400f33704a6fc2468407b87c6c /.gitignore
parentd3010ba184f1b2f066efa1b6683e797558e7a21a (diff)
downloadscade-analyzer-743f5cd5fb39e3ec58f94e43fe25ae8c25de7443.tar.gz
scade-analyzer-743f5cd5fb39e3ec58f94e43fe25ae8c25de7443.zip
Add a few examples from KIND2 distribution.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions