Author: lckarssen Date: 2011-08-22 09:52:44 +0200 (Mon, 22 Aug 2011) New Revision: 760 Removed: branches/ProbABEL/ Log: Removed the ProbABEL autotools integration branch. Changes in this branch were merged into trunk in r755, so we don't need it anymore.