From 2869f8ef6f1dbccc7e3ece4cf7bdf2e593ce3281 Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Fri, 28 Jan 2011 13:07:48 +0000 Subject: [PATCH] the user can select the amdis library now -- GitLab