Removed accidently added file.
commit702de0e0e8e9c209d7632c00020d0a53a52f35bc
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateMon 2 Jun 2014, 17:47 (12 years ago)
parent42a9921
libs/prelude/Prelude/.#Algebra.idrdeleted−1
@@ -1 +0,0 @@
1−jfdm@patatmet.cs.st-andrews.ac.uk.27886:1400707785