diff options
Diffstat (limited to 'docs/sphinx/source/pmt/symbol.rst')
| -rw-r--r-- | docs/sphinx/source/pmt/symbol.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/sphinx/source/pmt/symbol.rst b/docs/sphinx/source/pmt/symbol.rst deleted file mode 100644 index ab74b8662e..0000000000 --- a/docs/sphinx/source/pmt/symbol.rst +++ /dev/null @@ -1,7 +0,0 @@ -pmt: Symbols -============ - -.. autofunction:: pmt.is_symbol -.. autofunction:: pmt.string_to_symbol -.. autofunction:: pmt.symbol_to_string -.. autofunction:: pmt.intern |