diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2018-09-19 11:49:26 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2018-09-19 11:49:26 +0200 |
| commit | c3a19527a213cbfa5dc8112c75347702c3a29644 (patch) | |
| tree | 0038d42ad7fc6c91b03bfeedc013ed6afcfb8f4b /COPYING.MPL2 | |
| parent | dfa8439e4d71a3b8dafc38a8419998e683f3ee96 (diff) | |
Fix doc wrt previous change
Diffstat (limited to 'COPYING.MPL2')
0 files changed, 0 insertions, 0 deletions