ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity

Fix LICENSE

Browse Source
This commit is contained in:
Edwin Brady 2011-09-14 18:01:24 +01:00
parent dc0c198f0c
commit f35b3f09f3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
LICENSE
View File

@ -1,4 +1,4 @@
Copyright (c) 2006-2010 Edwin Brady
Copyright (c) 2011 Edwin Brady
School of Computer Science, University of St Andrews
All rights reserved.