diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
| commit | f589a23f15b75798618c59f05c258cc8b8b39187 (patch) | |
| tree | 863fdc2eaf40ce82cecc8ec86e9938c7022d49b7 /doc/top.texi | |
| parent | 413f6f7afd466ec0e2da4c97f2f9b08407b6e155 (diff) | |
| download | geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.gz geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.bz2 | |
Engaging texi files in some autotooling.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions