Change license from LGPL2.1+ to CC0
Showing
- COPYING 121 additions, 0 deletionsCOPYING
- LICENSE 0 additions, 504 deletionsLICENSE
- coq_platform_make.sh 2 additions, 11 deletionscoq_platform_make.sh
- coq_platform_make_windows.bat 2 additions, 11 deletionscoq_platform_make_windows.bat
- windows/configure_profile.sh 2 additions, 11 deletionswindows/configure_profile.sh
Loading
Please register or sign in to comment