bump version to 0.7.3

This commit is contained in:
Joe Thornber 2017-10-05 13:28:36 +01:00
parent b742d9d4da
commit db9259d303
2 changed files with 2 additions and 2 deletions

View File

@ -1 +1 @@
0.7.2
0.7.3

View File

@ -183,7 +183,7 @@
;;-----------------------------------------------
;; FIXME: don't hard code this
(define tools-version "0.7.2")
(define tools-version "0.7.3")
(define (tool-name sym)
(define (to-underscore c)