diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-17 03:08:30 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-17 03:08:30 +0100 |
| commit | d4fded4b666032a86b653d40193713932f12b113 (patch) | |
| tree | c6c34639212a752f55d86c4fe6248c013c624cf2 /contrib/render.py | |
| parent | da0a2f39d0ae59036e9bb08f7ae9ef02cfacc3c9 (diff) | |
fix build system
Diffstat (limited to 'contrib/render.py')
0 files changed, 0 insertions, 0 deletions