diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-01-12 18:55:33 +0000 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-01-28 22:15:48 +0100 |
| commit | 1bdbf284b4ba20ee1738b13c4e3414384955f6f3 (patch) | |
| tree | 1d1d3fb6fb5b7da32d49ff8b89bd3f9e70edb226 /doc/conf.py | |
| parent | 44cb750b563b303195cd01fae5db97b5f16382cf (diff) | |
Adapt to "Make PatSyn immutable"
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions