diff options
author | Nils Gillmann <ng0@n0.is> | 2018-10-21 13:36:09 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-10-21 13:53:45 +0000 |
commit | 811d311f4c04a8a34877ede28d825b374233aea2 (patch) | |
tree | 5500b1958b873e0f4c2fcce83da770ba2164c79e /.indent.pro | |
parent | 4718e7b56b3d944a55b7eabb15dff850faf8a02f (diff) | |
download | gnunet-811d311f4c04a8a34877ede28d825b374233aea2.tar.gz gnunet-811d311f4c04a8a34877ede28d825b374233aea2.zip |
documentation: Remove usage of version and version2.texi, replace with portable sed.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to '.indent.pro')
0 files changed, 0 insertions, 0 deletions