diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-10-07 00:03:10 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-10-07 00:03:10 +0000 |
| commit | 85c6f23dcbd929d0857f7848fadbe0d52323c945 (patch) | |
| tree | 3d7c52eb1ca1fdedee18eba5ec690d67d4c88e80 /docs/modules/ROOT/examples/basic | |
| parent | 9c6a2d9cbdc22aa82b3fd26f42eb2b37c919fef4 (diff) | |
| parent | 022d870d616575805ace9b37ea87bae1fd90cb84 (diff) | |
Merge pull request #2018 from jamesmunns/add-derives
Add some uncontroversial derives to Error types
Diffstat (limited to 'docs/modules/ROOT/examples/basic')
0 files changed, 0 insertions, 0 deletions