TAG R2-3-1
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
patch 38b7516ab6ee68a9f8ebf0e4ba43c6b86baa5d24
Author: ben.franksen@online.de
Date: Sat Oct 30 01:55:59 CEST 2010
tagged R2-3-