diff options
| author | Clément Pit-Claudel | 2019-05-07 09:30:46 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-05-07 09:30:46 -0400 |
| commit | e30d52a3c724a71bf43b46416c09e4b6ef1d1f67 (patch) | |
| tree | 7cef2ac71f654b6ee87c9074d9044c49c19ecc5b /dev | |
| parent | c1b5e2941f168bd599e9c653577ebd50399023eb (diff) | |
| parent | 7b1feee5963633bbbfcfeefd6eca0d344e1c1b8d (diff) | |
Merge PR #10077: [refman] Add a note reminding about the typeclass_instances database.
Reviewed-by: cpitclaudel
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions