From adda9ab2f66adeb7fa5c5c7cef6ceb7bb107e169 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 8 Nov 2018 17:41:08 +0000 Subject: Removing report --- report/auto/references.el | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 report/auto/references.el (limited to 'report/auto/references.el') diff --git a/report/auto/references.el b/report/auto/references.el deleted file mode 100644 index a16e920..0000000 --- a/report/auto/references.el +++ /dev/null @@ -1,15 +0,0 @@ -(TeX-add-style-hook - "references" - (lambda () - (LaTeX-add-bibitems - "10.1007/3-540-60117-1_16" - "Chen:2013:TCF:2499370.2462173" - "Lidbury:2015:MCF:2813885.2737986" - "Godefroid:2008:GWF:1379022.1375607" - "Le:2015:FDC:2858965.2814319" - "Yang:2011:FUB:1993316.1993532" - "Miller:1990:ESR:96267.96279" - "laeufer2018rfuzz" - "braibant2013formal")) - :bibtex) - -- cgit