An error occurred while fetching folder content.
Philip Kaluđerčić
authored
This is necessary to resolve error messages of the form Unknown option prop which appear to have confused "coqc", since it refuses the handle a directory implicitly.
| Name | Last commit | Last update |
|---|