diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-10-02T13·45+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-02T13·45+0200 |
commit | d93db0ace075dd385c7767634a06c73b8b853fe5 (patch) | |
tree | 6f4ab73d490f4fd9378d0f9711989853e9cf4c60 /configure.ac | |
parent | aa5e47b2f4697b807c6e601df136adef1ea0cc78 (diff) | |
parent | 05cfc71cab4dd4c53f919d7451c36c8b5876919d (diff) |
Merge pull request #2464 from Profpatsch/docs-builtins-add-ids
manual: add XML IDs to all builtin list entries
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions