diff options
Diffstat (limited to 'docs/sphinx/source/pmt/dictionary.rst')
| -rw-r--r-- | docs/sphinx/source/pmt/dictionary.rst | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/sphinx/source/pmt/dictionary.rst b/docs/sphinx/source/pmt/dictionary.rst deleted file mode 100644 index 7909da8d9e..0000000000 --- a/docs/sphinx/source/pmt/dictionary.rst +++ /dev/null @@ -1,12 +0,0 @@ -pmt: Dictionary -=============== - -.. autofunction:: pmt.is_dict -.. autofunction:: pmt.make_dict -.. autofunction:: pmt.dict_add -.. autofunction:: pmt.dict_delete -.. autofunction:: pmt.dict_has_key -.. autofunction:: pmt.dict_ref -.. autofunction:: pmt.dict_items -.. autofunction:: pmt.dict_keys -.. autofunction:: pmt.dict_values |