Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed duplicate ROOTS entries.

This commit is contained in:
Achim D. Brucker 2018-12-08 13:44:34 +01:00
parent 25d79c1ba9
commit 2bd8a04b34
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ROOTS
View File

@ -1,3 +1,2 @@
AFP-contribs
AFP-contribs
examples