Commit 4ffdff9

committed

move license file to root directory to follow GitHub conventions

1 parent 14b9926 commit 4ffdff9Copy full SHA for 4ffdff9

1 file changed

+0

-0

lines changed

LICENSE

1 file changed

+0

-0

lines changed

`‎mcoq/LICENSE.txt‎ renamed to ‎LICENSE‎`

File renamed without changes.

Comments

(0)