diff options
| author | Guillaume Melquiond | 2015-07-28 15:32:59 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-28 15:56:15 +0200 |
| commit | d0ec5640994fefe6674c5abb6f7c7001305073cd (patch) | |
| tree | b8bc2d91d267b20b20bee0600d90968e543b8853 /dev/include | |
| parent | e706bbd36237abc6c63d3e30cdaf9a42ac458215 (diff) | |
Reset a dangling proof in the FAQ.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions