summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Bremner <david@tethera.net>2018-01-03 09:56:39 -0400
committerDavid Bremner <david@tethera.net>2018-01-03 09:56:39 -0400
commit023629ff5bd1cc5c3fff9043d6a5555a4fd4dbd4 (patch)
treea499b902f56a62f3b8644c311663546ba705c8a8 /.gitignore
parent7038670bbdaf46cb2b10f3347cc4563ccedfd7da (diff)
use --quick (-Q) for batch-compilation.
This tries to avoid breakage caused by the local admin customizing the site configuration for emacs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions