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/progress-reporting.md | |
| parent | e85987ab2281e765a2b3e19aefe7f99f656428d8 (diff) | |
Remove obsolete RCS keywords
Prompted-by: Jakub Wilk <jwilk@debian.org>
Diffstat (limited to 'doc/progress-reporting.md')
0 files changed, 0 insertions, 0 deletions