diff options
| author | Pierre-Marie Pédrot | 2020-10-23 09:43:23 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-03 15:11:37 +0100 |
| commit | af6a928161785e92e7aef7d31ea04b20aa3bd4ca (patch) | |
| tree | 94ba9b7d371e82a22c429572b95bc0c8202674c9 /dev/doc | |
| parent | a53eeffbbb573dd8c354d5e68ac19dea5f511f79 (diff) | |
Eagerly reduce rigid/flex conversion problems.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions