diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-10-22 17:54:48 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-10-22 17:54:48 +0200 |
commit | df48100198297b993ad47f25cf4584536a9d507a (patch) | |
tree | e290eb127aec1be4ccbf96bfbd8100161fd9ce5b /Makefile | |
parent | 412a3623679297e50c6e6e10e5f4397cddad9644 (diff) | |
download | docs-df48100198297b993ad47f25cf4584536a9d507a.tar.gz docs-df48100198297b993ad47f25cf4584536a9d507a.tar.bz2 docs-df48100198297b993ad47f25cf4584536a9d507a.zip |
bump API version, fix minor issue in tip spec
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions