diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2015-10-12 12:36:23 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2015-10-12 12:36:23 +0200 |
commit | a4b124b753dac07a7b9d085d6643eea018e13fc6 (patch) | |
tree | bd0f7c3c83186b91e8427d6d0c1ca5f291d5e35d /doc/geiser.texi | |
parent | 5ed71bc522b327fb8b6c06b316ecce5b83cadd51 (diff) | |
download | geiser-a4b124b753dac07a7b9d085d6643eea018e13fc6.tar.gz geiser-a4b124b753dac07a7b9d085d6643eea018e13fc6.tar.bz2 |
download-mirror.savannah.gnu.org ftw
Seems this site is updated better than the canonical
download.savannah.gnu.org (which depends on mirror propagation).
Diffstat (limited to 'doc/geiser.texi')
0 files changed, 0 insertions, 0 deletions