diff options
Diffstat (limited to 'db/local-3e1a3fb6c3c2b225b5b661571c45ae275daa543f.info')
-rw-r--r-- | db/local-3e1a3fb6c3c2b225b5b661571c45ae275daa543f.info | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/db/local-3e1a3fb6c3c2b225b5b661571c45ae275daa543f.info b/db/local-3e1a3fb6c3c2b225b5b661571c45ae275daa543f.info deleted file mode 100644 index de70b5c..0000000 --- a/db/local-3e1a3fb6c3c2b225b5b661571c45ae275daa543f.info +++ /dev/null @@ -1 +0,0 @@ -/home/niklas/i/mastermind/libc-2.19.so |