diff options
| author | red031000 <rubenru09@aol.com> | 2020-05-18 20:16:42 +0100 |
|---|---|---|
| committer | red031000 <rubenru09@aol.com> | 2020-05-18 20:16:42 +0100 |
| commit | d8dcd1fef93929fc8905ee62c2bf627cb8e8db25 (patch) | |
| tree | b2a3cf8c66fc00bc77a34755e25ac54d44097455 /tools/jsonproc | |
| parent | 2ac260c49fa1203c27d96fc792a562460e0b4724 (diff) | |
remove pragma
Diffstat (limited to 'tools/jsonproc')
0 files changed, 0 insertions, 0 deletions
