Elvish_Hunter b9380e88c1 wmltools3: fixed a bug reported by Robertdebrus in PR #596
The bug consisted in the accidental removal of the 'vcdir' constant, still used by wmlindent and wmllint-1.4.
2016-02-15 00:12:47 +01:00
..
2016-02-08 23:38:06 +01:00
2015-10-15 09:57:15 +13:00