diff .hgignore @ 657:11fa64b69530

options: reintroduce a very basic getopt(3) alternative
author David Demelier <markand@malikania.fr>
date Mon, 15 Jul 2019 13:54:17 +0200
parents b1bfc23d33fe
children
line wrap: on
line diff