diff options
| author | Alex Biehl <alexbiehl@gmail.com> | 2017-05-01 17:40:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-01 17:40:36 +0200 |
| commit | 2163981e773b76212b2265a1eb03208ee2e7edf2 (patch) | |
| tree | d6ac51ba1f59f1c122dd3598487bceebf9374980 /.gitignore | |
| parent | 02787004ffeb16c9d848b77b6e23598b58596348 (diff) | |
Lazily decode docMap and argMap (#610)
These are only used in case of a doc reexport so most of the time
decoding these is wasted work.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions