diff options
| author | vlakoff <vlakoff@gmail.com> | 2017-02-07 11:01:55 +0100 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2017-02-07 14:57:33 +0100 |
| commit | d107d6d950b38b46fba58488c201d5cac35be156 (patch) | |
| tree | 41e10b6050763d280e0b3edb9b1c312ec96e1d9d /user_guide_src/cilexer | |
| parent | 8128e61ae620804fec1ed64b377abf95f1bab297 (diff) | |
Allow to omit trailing slash in config paths
Diffstat (limited to 'user_guide_src/cilexer')
0 files changed, 0 insertions, 0 deletions