TAG R2-3-2
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
patch 2b75edce86a51ca756175e6a64600093172169c3
Author: benjamin.franksen@helmholtz-berlin.de
Date: Mon Nov 21 13:08:49 CET 2011
tagged R2-3-