diff options
| author | jvoisin | 2023-11-03 16:40:45 +0100 |
|---|---|---|
| committer | jvoisin | 2023-11-03 16:40:45 +0100 |
| commit | 320b3f831f755e6bd4c7ac0334d719bb4b778723 (patch) | |
| tree | 6761d4eaa94a478607b6f26ad660f5e1a38c7e4f /.github/workflows | |
| parent | cb3d7aed877ce2a0952c00f1950d57c72d664b49 (diff) | |
Add some documentation in the default rules.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions