diff options
Diffstat (limited to '')
| -rw-r--r-- | ada_user/command.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ada_user/command.rst b/ada_user/command.rst deleted file mode 100644 index 99acf64..0000000 --- a/ada_user/command.rst +++ /dev/null @@ -1,5 +0,0 @@ -Command and Variable Index -########################## - -.. COMMENT: There are currently no Command and Variable Index entries. - |