Mark Andrews 34bfd20348 Add support for marking a option as deprecated. ...

(cherry picked from commit befff9452c)

2018-06-08 15:56:01 +10:00

..

isccfg

Add support for marking a option as deprecated.

2018-06-08 15:56:01 +10:00

Makefile.in

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:25:15 +02:00