diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:05:29 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:05:29 +0200 |
commit | 412a3623679297e50c6e6e10e5f4397cddad9644 (patch) | |
tree | c66728abcf059c486a9706c5e137a63512c91fe0 /Makefile | |
parent | 7eeb2d1c710d78dc4f9113bed08e30b8fc279afb (diff) | |
download | docs-412a3623679297e50c6e6e10e5f4397cddad9644.tar.gz docs-412a3623679297e50c6e6e10e5f4397cddad9644.tar.bz2 docs-412a3623679297e50c6e6e10e5f4397cddad9644.zip |
update tipping specification
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions