wok log gummi/receipt

age author description
2012-03-09 Antoine Bodin gummi: fix deps/bdeps
2012-02-18 Christophe Lincoln Add Gummi GUI LaTex editor