ledit for Debian
----------------
* Removed the ocaml wrapper, since it caused problems with scripts calling
ocaml, which didn't needed ledit.
You can use ledit by simply using it with your interactive command, like
in "ledit ocaml", "ledit coqtop" or "ledit whatever". Don't use a pipe, it
will break program termination.
-- Sven LUTHER <luther@debian.org>, Fri, 24 Aug 2001 12:57:21 +0200
Generated by dwww version 1.15 on Thu Jun 27 23:35:00 CEST 2024.