An error occurred while fetching folder content.
Philip Kaluđerčić
authored
This is necessary, since the _CoqProject now contains a list of all files in _CoqProject, and any changes in those directories should be propagated to the _CoqProject as well.
| Name | Last commit | Last update |
|---|