diff options
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) - |