From 4101041ef4fd2bbd902e0c80762ff1e0bf46787d Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Thu, 10 Sep 2009 18:23:19 +0000
Subject: [PATCH] amdis-boost added

-- 
GitLab