chiark / gitweb /
site: Rename setup_priority to our_name_later
[secnet.git] / .dir-locals.el
2019-05-18 Mark Wooding.dir-locals.el: Settings for Python code.
2011-06-19 Richard Kettlewellcleanup: add a .dir-locals.el