diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-10-15 20:14:25 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-10-15 20:14:25 +0000 |
| commit | 894b5e913128d59e93b08f7f457200b4a769d2bc (patch) | |
| tree | 60e7f3951b19dc186c21d417d1d9c24766b617bb /nontrivial utility | |
| parent | dcba303f8d172f6748225d2e00f28a44ac13c453 (diff) | |
| parent | 6fadce1cd8881b2a144be5aaf99966dfd6093860 (diff) | |
Merge #27 `Update manual to version 7.17.`
Diffstat (limited to 'nontrivial utility')
0 files changed, 0 insertions, 0 deletions