Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / doc / guide / conf /
drwxr-xr-x   ..
-rw-r--r-- 60 .gitignore
-rw-r--r-- 18 asciidoc-docbook45.flags
-rw-r--r-- 211 asciidoc-html5.flags
-rw-r--r-- 135 asciidoc-mlton.flags
-rw-r--r-- 133 html5-footer.conf
-rw-r--r-- 3818 html5-header.conf
-rw-r--r-- 4056 mlton-asciidoc.conf
-rw-r--r-- 850 mlton-dblatex.sty
-rw-r--r-- 1384 mlton-dblatex.xsl
-rw-r--r-- 392 mlton-gcse.js
-rw-r--r-- 3005 mlton-html5.conf
-rw-r--r-- 689 mlton.css
-rw-r--r-- 469 specialsections.conf