git.iko.soy/Idris-dev
on master help sign in
Fix LICENSE
commitf35b3f09f32d91188126477e62276f118c2177cc authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateWed 14 Sep 2011, 18:01 (15 years ago) parentdc0c198
1 file changed+1−1
compare with master
unifiedsplit
LICENSE+1−1
LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2006-2010 Edwin Brady
1+Copyright (c) 2011 Edwin Brady
22 School of Computer Science, University of St Andrews
33All rights reserved.
44