diff options
| author | John Paul Wallington | 2008-06-28 14:19:02 +0000 |
|---|---|---|
| committer | John Paul Wallington | 2008-06-28 14:19:02 +0000 |
| commit | d7ad7a5ec1727cacfdca4d626d200501c97cef4d (patch) | |
| tree | 7ae4e55ae4b9a188316b1039f205298c167db5e1 /admin/notes | |
| parent | 5da241082ecbe0992c0bf3a2021137d4b27a5e2a (diff) | |
| download | emacs-d7ad7a5ec1727cacfdca4d626d200501c97cef4d.tar.gz emacs-d7ad7a5ec1727cacfdca4d626d200501c97cef4d.zip | |
(defmath): Add `doc-string' decl. Add docstring.
Diffstat (limited to 'admin/notes')
0 files changed, 0 insertions, 0 deletions