Revision 525

[r2003-06-17 20:39:07 by cvscast] Don't autodetect non-terminal stdint (prevent using ledit); add
--stdin option -- Alain

Original author: cvscast
Date: 2003-06-17 20:39:08+00:00