aboutsummaryrefslogtreecommitdiff
path: root/nontrivial utility
diff options
context:
space:
mode:
authorRuben Rodriguez <ruben@gnu.org>2018-10-15 20:14:25 +0000
committerRuben Rodriguez <ruben@gnu.org>2018-10-15 20:14:25 +0000
commit894b5e913128d59e93b08f7f457200b4a769d2bc (patch)
tree60e7f3951b19dc186c21d417d1d9c24766b617bb /nontrivial utility
parentdcba303f8d172f6748225d2e00f28a44ac13c453 (diff)
parent6fadce1cd8881b2a144be5aaf99966dfd6093860 (diff)
Merge #27 `Update manual to version 7.17.`
Diffstat (limited to 'nontrivial utility')
0 files changed, 0 insertions, 0 deletions