Hi Marco, thanks for pointing that out! I have deleted the obsolete bnfc directory moments ago. That happened, because I renamed bnfc/default.nix to BNFC/default.nix using git-svn. Git doesn't track directories on their own, it just tracks file, so the old directory was left over in SVN.
Take care, Peter _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
