diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-15 16:05:22 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-15 16:05:22 +0200 |
| commit | 611a8438e7ed78a1304352c2a1b20c517834fd31 (patch) | |
| tree | c7ca66a88a865593af28bb8e08eb642b19b3c254 /doc/repl.texi | |
| parent | 9d1c7a8d3a9d43e202bf473ff10c451aac1ccd9f (diff) | |
| download | geiser-611a8438e7ed78a1304352c2a1b20c517834fd31.tar.gz geiser-611a8438e7ed78a1304352c2a1b20c517834fd31.tar.bz2 | |
Company mode screencast seems gone for good
And Dmitry is now maintaining it. Links updated, issue #3 fixed.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions