diff options
| author | JF <JF002@users.noreply.github.com> | 2021-10-20 21:08:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 21:08:43 +0200 |
| commit | ca2c72af0c6588160d972ca2ee6b5c62bf64aab3 (patch) | |
| tree | 63c9862cd57960cfa42ff63c0177158b23046bcd /.idea/codeStyles | |
| parent | ab7c6e162f82674d176466d361b1f87a0d55cf4a (diff) | |
| parent | 86bcea9e99ac8f68251ca615320478f75a29aca9 (diff) | |
Merge pull request #758 from NeroBurner/patch-2
CI: add pintime-recovery to build jobs
Diffstat (limited to '.idea/codeStyles')
0 files changed, 0 insertions, 0 deletions