Jeremie Dimino 66a816fe72 add UTop.exec_in_gui ... Ignore-this: dc3c14404cb338f609e1d486664a1676 darcs-hash:20110921130911-c41ad-72bec8de684d12f9c16c0ae5a0e56a6627230021		2011-09-21 15:09:11 +02:00
..
common	add UTop.exec_in_gui	2011-09-21 15:09:11 +02:00
console	use the custom prompt	2011-09-21 06:26:50 +02:00
emacs	use the custom prompt	2011-09-21 06:26:50 +02:00
gtk	add UTop.exec_in_gui	2011-09-21 15:09:11 +02:00