summaryrefslogtreecommitdiff
path: root/odk
diff options
context:
space:
mode:
authorStephan Bergmann <sbergman@redhat.com>2016-02-04 15:06:30 +0100
committerStephan Bergmann <sbergman@redhat.com>2016-02-04 15:56:57 +0100
commit2f90103948742f1e588d90d4bcb05f943192eb4f (patch)
tree45aac080131ff826830f07ba54fd73827675f1c9 /odk
parent048f5e6847a4d1f9ed139b6ab7edaaddd80e42b3 (diff)
Add --ignore-unpublished to unoidl-check
...to make it a better replacement for SDK's regcompare Change-Id: I7b5eee3d449b8dc7c03601083d06a6d13e4607be
Diffstat (limited to 'odk')
0 files changed, 0 insertions, 0 deletions