Thomas Jensen 44c2c526af Add command line option -n to set character encoding of input text #1		2021-02-15 20:35:20 +01:00
..
boxes.1.in	Add command line option -n to set character encoding of input text #1	2021-02-15 20:35:20 +01:00
boxes.el	Change website references to https	2019-02-14 21:41:11 +01:00
makehtmlman	Moved boxes sources from RCS to git	2014-08-27 22:41:48 +02:00