diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-08 17:41:08 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-08 17:41:08 +0000 |
commit | adda9ab2f66adeb7fa5c5c7cef6ceb7bb107e169 (patch) | |
tree | 73261e1ce3bf488b6ea1ad3b6ee3a3204d1f48c0 /report/auto/references.el | |
parent | d16507bca82b3ffe4f583ef8f4893722c9d04239 (diff) | |
download | verismith-adda9ab2f66adeb7fa5c5c7cef6ceb7bb107e169.tar.gz verismith-adda9ab2f66adeb7fa5c5c7cef6ceb7bb107e169.zip |
Removing report
Diffstat (limited to 'report/auto/references.el')
-rw-r--r-- | report/auto/references.el | 15 |
1 files changed, 0 insertions, 15 deletions
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) - |