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/img/repl-menu.png | |
| 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/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions