diff options
| author | Aleksey Kladov <[email protected]> | 2019-12-19 16:30:28 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-12-19 17:09:50 +0000 |
| commit | 5bd8de3f5e11732d67d0cc9bacda7d3a1b7cf13a (patch) | |
| tree | 0381b42e5e3b4daab49c734728b11f22361c2067 /.gitignore | |
| parent | b2731ab78acc7a2d38e02cd477f4a5132c1ac98b (diff) | |
Allow storing defs in bodies
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions