Revision ffacf09f3a4834c88a6b7216bbda6bf57de99f7f

Committed on 05/01/2013 3:58 am by Kristof Coomans <[email protected]> [GitHub Diff]

removing some unwanted leftovers