| summaryrefslogtreecommitdiff |
path: root/99_general.txt
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 15:50:05 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 15:50:05 +0200 |
| commit | 84831716add27b53954142c3bbd72539b9168021 (patch) | |
| tree | 68df8f61349d7d84847754aaf96f6cf05eee35e7 /99_general.txt | |
| parent | 1a64a73c47394dab7b10e6fd87fb8390df3ad89c (diff) | |
Can now run IDP.
Diffstat (limited to '99_general.txt')
| -rw-r--r-- | 99_general.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/99_general.txt b/99_general.txt deleted file mode 100644 index 4f0e7c7..0000000 --- a/99_general.txt +++ /dev/null @@ -1,4 +0,0 @@ -procedure main(){ - printmodels(onemodel(T,S,Vout)) -} - |