Skip to content
This repository
Browse code

Produce _dir-locals.el from .dir-locals.el.

  • Loading branch information...
commit a383334063cafad63302ad1d5dbdf62c0d6d42a7 1 parent 761d990
authored December 26, 2008

Showing 1 changed file with 1 addition and 0 deletions. Show diff stats Hide diff stats

  1. 1  config.bat
1  config.bat
@@ -269,6 +269,7 @@ cd ..
269 269
 rem   ----------------------------------------------------------------------
270 270
 :maindir
271 271
 Echo Configuring the main directory...
  272
+If Exist .dir-locals.el update .dir-locals.el _dir-locals.el
272 273
 If "%DJGPP_VER%" == "1" goto mainv1
273 274
 Echo Looking for the GDB init file...
274 275
 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit

0 notes on commit a383334

Please sign in to comment.
Something went wrong with that request. Please try again.