diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-05-27 12:12:02 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-05-27 12:12:02 -0700 |
commit | 2d90803b7ce586c4c882b907f00f574e3432f3c1 (patch) | |
tree | e985a6c3cfa68ad1da30109a55e10facfb8b6ddf /windows/make-windows-installer.bat | |
parent | 2e80613451651ec8f1945daa7540168a427f0507 (diff) |
Require latest highlighting-kate. Fixes #1317.
Diffstat (limited to 'windows/make-windows-installer.bat')
0 files changed, 0 insertions, 0 deletions