summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJoerg Bornemann <joerg.bornemann@theqtcompany.com>2016-03-04 13:52:56 +0100
committerJoerg Bornemann <joerg.bornemann@theqtcompany.com>2016-03-07 09:28:59 +0000
commit443bb0aec61ca15d566f09ce2d20376f6633ebe3 (patch)
tree2cba13396c5588a76727253b7d300aab7fe44b8d
parent72771de58b440f45dd41d0ff889434d1b44206f4 (diff)
Rename ibjom.cmd to ibjom.bat
Be consistent with other tools. Change-Id: Id06171f060dfc8dded3a7e97fc77f4a3fe870a60 Reviewed-by: Alexandru Croitor <alexandru.croitor@theqtcompany.com> Reviewed-by: Oliver Wolff <oliver.wolff@theqtcompany.com>
-rw-r--r--bin/ibjom.bat (renamed from bin/ibjom.cmd)0
1 files changed, 0 insertions, 0 deletions
diff --git a/bin/ibjom.cmd b/bin/ibjom.bat
index d5e4448..d5e4448 100644
--- a/bin/ibjom.cmd
+++ b/bin/ibjom.bat