diff options
| author | jvoisin | 2018-01-11 11:26:07 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-11 11:26:07 +0100 |
| commit | 49a27fac20f757c158e5faa18a41337c5f33b17b (patch) | |
| tree | 2f289ae78a7419a39c7e591649dcc229b892f7d3 /doc/source | |
| parent | 6f21bff1d40326f69bc3b75b1b83b03623180365 (diff) | |
Remove some legacy code
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions