X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=primos%2Fci.opts;fp=primos%2Fci.opts;h=0000000000000000000000000000000000000000;hb=dc84183747ce1703eb99685b5dbde1f65a143c06;hp=bb4f9b3a0872563c5e646d0aa219477c09da344c;hpb=a2016c1de6e4884f6c8ed5cc498f3bf821c25ca4;p=debian%2Fgzip

diff --git a/primos/ci.opts b/primos/ci.opts
deleted file mode 100644
index bb4f9b3..0000000
--- a/primos/ci.opts
+++ /dev/null
@@ -1,6 +0,0 @@
--define PRIMOS
--include *>PRIMOS>INCLUDE
--ignoreregister
--packbytes
--sof
-