TAG seq-2-0-13-rc2
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
patch 18952d1cf5840732202ca9ed695eabb318613c84
Author: benjamin.franksen@helmholtz-berlin.de
Date: Tue Apr 19 12:59:21 CEST 2011
tagged seq-2-0-13-rc