Mercurial > hg > dml-open-cliopatria

diff cpack/dml/lib/optutils @ 0:718306e29690 tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cpack/dml/lib/optutils	Tue Feb 09 21:05:06 2016 +0100
@@ -0,0 +1,3 @@
+:- module(optutils, [option_default_select/4]).
+
+option_default_select(Option,Default,O1,O2) :- select_option(Option,O1,O2,Default).