diff options
Diffstat (limited to 'API/PROPERTIES')
| -rw-r--r-- | API/PROPERTIES | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/API/PROPERTIES b/API/PROPERTIES deleted file mode 100644 index cd942e202..000000000 --- a/API/PROPERTIES +++ /dev/null @@ -1,8 +0,0 @@ -0 : All API elements, i.e.: - - modules - - module types - - functions & values - - types - are present if and only if are needed for implementing Coq plugins. - -1 : Individual API elements are not aliased. |