Delete arnesi+, which has no repo any more and no contact info.

quicklisp · May 8, 2015 · da8b3ba · da8b3ba
1 parent 3bcedff
commit da8b3ba
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/arnesi+/source.txt b/arnesi+/source.txt