diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-02-25 13:44:17 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-02-25 13:44:17 +0000 |
| commit | e7c76d3c10dd0069fd4e8702504b15a81cafd236 (patch) | |
| tree | 6ddfa5aae500d731a670877470984b70bc47a363 /doc/top.texi | |
| parent | 2a6b60238fd7864b80b396a63b8cc36cb895ba0e (diff) | |
| download | geiser-e7c76d3c10dd0069fd4e8702504b15a81cafd236.tar.gz geiser-e7c76d3c10dd0069fd4e8702504b15a81cafd236.tar.bz2 | |
Documentation fixes
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions