diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-03-21T11·24+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-21T11·24+0100 |
| commit | 6a3dfcb623b82d62e090cd023144454bd1a15d91 (patch) | |
| tree | 32153d2ba20209ac0081a63b7d15acddf90efac6 /doc/manual/glossary | |
| parent | ffeabf8390f69d6bb002c2a4e17eef186ecaa32d (diff) | |
| parent | 6f093073b6ff38fb2c4e22331e73930baa1b30e7 (diff) | |
Merge pull request #2739 from mayflower/builtins-doc-explicit
manual: include builtins.* for globally available builtins
Diffstat (limited to 'doc/manual/glossary')
0 files changed, 0 insertions, 0 deletions