ajacoutot 795952df59 Use a patch instead of a post-install target; so that we can spot when ... upstream removes this hack.		2013-03-30 17:51:12 +00:00
..
patch-ui_Makefile_in	Use a patch instead of a post-install target; so that we can spot when	2013-03-30 17:51:12 +00:00