diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-06-04 14:59:24 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-06-04 14:59:24 +0200 |
| commit | 69844af4b9eb6bd6735455ea25fd7a8ac720ef14 (patch) | |
| tree | 28cda7b4fd725a98e1734a1366bbe41a655ee96e /doc/repl.texi | |
| parent | 4887a593c0361dcf9e0c75766ab21a72e7ec3fdf (diff) | |
| download | geiser-69844af4b9eb6bd6735455ea25fd7a8ac720ef14.tar.gz geiser-69844af4b9eb6bd6735455ea25fd7a8ac720ef14.tar.bz2 | |
Ludovic made it also to AUTHORS and NEWS
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions