Workaround for GtkBuilder bug in GTK 2.12
[rodin/chimara.git] / interpreters / nitfol.patch
2009-09-10 Philip ChimentoInspired by #17, compared our Nitfol source to the...