annotate mx.cmd @ 22341:b4882e47c1f2

Interval: allow redefinition of NoDefinitionFound intervals.
author Josef Eisl <josef.eisl@jku.at>
date Thu, 23 Jul 2015 18:27:09 +0200
parents 97ad67783fbb
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22063
97ad67783fbb use Windows path separators
Doug Simon <doug.simon@oracle.com>
parents: 15418
diff changeset
1 python %~dp0mxtool\mx.py %*