bump version to 0.7.2

This commit is contained in:
Joe Thornber 2017-09-21 11:23:59 +01:00
parent 2b29d6c20c
commit 22430c636d
2 changed files with 2 additions and 2 deletions

View File

@ -1 +1 @@
0.7.1
0.7.2

View File

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