diff options
author | 2016-07-23 15:58:47 +0200 | |
---|---|---|
committer | 2016-07-23 15:58:47 +0200 | |
commit | ceaec9b3e98da7978516f69abca33f65e10f3b03 (patch) | |
tree | 398d1659abf7dcea8fbfe5459fa30395fd1c5d14 /coq/coq-seq-compile.el | |
parent | 417c65d194ea3ffbb2a85d2475b8f5dcb63dd0db (diff) |
Run "make magic" to update texi comments from elisp docstrings.
Diffstat (limited to 'coq/coq-seq-compile.el')
0 files changed, 0 insertions, 0 deletions