diff options
| author | Maxime Dénès | 2017-06-15 22:36:48 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-15 22:36:48 +0200 |
| commit | f8e3a9ac43ec50a5810cd7835fa562918db0bdcb (patch) | |
| tree | f54a787a4f28d70fce429ec7b12414674ead1204 /dev | |
| parent | 17edf56038f7f3f6e878d61278a8c5f49e76bde4 (diff) | |
| parent | 1638e4bccde4b6922d8a59de92178a5be66406cb (diff) | |
Merge PR#741: Fix documentation of Typeclasses eauto :=
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions