log res/ctags.options @ 96:e03a661dc983

age author description
Mon, 27 Jul 2015 14:18:10 -0700 Ludovic Chabant Move the default `-R` option to an overridable "global" options file.