Better handling of REPL's header line
commit39d0ccb19d7c390f306374987219b1d599902bdc
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 8 Nov 2010 03:05:31 +0000 (8 04:05 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 8 Nov 2010 03:05:31 +0000 (8 04:05 +0100)
treebbf044ae5b3190ebebd91b32ba7f6d54c1fd04bc
parentf04b9429de1cb815c2ad680603077be6a0d10132
Better handling of REPL's header line
elisp/geiser-repl.el