From 84831716add27b53954142c3bbd72539b9168021 Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Mon, 28 May 2018 15:50:05 +0200
Subject: Can now run IDP.

---
 99_general.txt | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 99_general.txt

(limited to '99_general.txt')

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))
-}
-
-- 
cgit v1.2.3-70-g09d2