Commit graph

1 commit

Author SHA1 Message Date
Pav Lucistnik
a3174cd993 Add cdcl-gtk, a slave port for science/cdcl with enabled Gtk support.
PR:		ports/62872
Submitted by:	Shin'ya Murakami <murashin@edamame.summing.com>
2004-02-27 22:44:17 +00:00