TAG R2-3
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
patch 62371dc54b3698768705b8622cab8812eec4e808
Author: benjamin.franksen@bessy.de
Date: Wed Sep 10 14:38:05 CEST 2008
tagged R2-