diff options
| author | Vincent Laporte | 2019-05-10 08:48:54 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-10 16:06:11 +0000 |
| commit | 4895bf8bb5d0acfaee499991973fc6537657427d (patch) | |
| tree | 4bb22f9d2c04445655bbd0c4df6daccabfeb4ffd /pretyping | |
| parent | 34e84eafe6615055071fbdc4aaee70c4c161a0fb (diff) | |
[refman] Mention the `#[canonical(false)]` attribute
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions