chiark / gitweb /
Merge branch 'vars' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 10 May 2015 13:42:07 +0000 (13:42 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 10 May 2015 13:42:07 +0000 (13:42 +0000)
Update documentation to cover COMMIT, VERSION and VERCODE vars

See merge request !50


Trivial merge