diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-09 10:53:36 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-09 10:53:36 +0000 |
commit | 1d0db8935a8f6861368bdcd0e270cd913d067aa1 (patch) | |
tree | 8d0b964e9366f58f31cec508b7da8e3ad4c2309f /.gitignore | |
parent | 6f2bdbadde2d690191d940681297207e1e451f40 (diff) | |
parent | b06967e9b05ebe8491f8e06619b3e6a398958f9b (diff) |
Merge #6
6: Add documentation on extension traits r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions