diff options
author | Guillem Jover <guillem@debian.org> | 2018-05-06 22:32:41 +0200 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2018-05-07 13:41:31 +0200 |
commit | 164f1b78d1849a0f33df7352875f86e28f5de06a (patch) | |
tree | 42a7fda9dcff70b530b8c464124b39bcd00ed997 /doc/examples/configure-index | |
parent | e85987ab2281e765a2b3e19aefe7f99f656428d8 (diff) |
Remove obsolete RCS keywords
Prompted-by: Jakub Wilk <jwilk@debian.org>
Diffstat (limited to 'doc/examples/configure-index')
0 files changed, 0 insertions, 0 deletions