From bab946cbb2b75b1a413c4b12005d1d60123d8eff Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Thu, 6 Sep 2018 01:57:15 +0200 Subject: modified files.txt --- files.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/files.txt b/files.txt index d6d75fd..afd71db 100644 --- a/files.txt +++ b/files.txt @@ -2,5 +2,4 @@ files.txt makefile README.md README.tex -sandbox sandbox/01.tex \ No newline at end of file -- cgit v1.2.3