diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-18 00:09:21 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-18 00:09:21 -0500 |
| commit | 21bc742cd9db11ff914e03e3c46d5674e8a937bf (patch) | |
| tree | 230d449218009632d45783ea7158e46d4fc43c96 | |
| parent | 1a0a13cbdfbef738cfcd8b51b3b6593bef795c2c (diff) | |
| download | ghasandbox-21bc742cd9db11ff914e03e3c46d5674e8a937bf.tar.gz | |
OK
| -rw-r--r-- | check.ini (renamed from .github/check.ini) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/check.ini b/check.ini index c3592fe..c3592fe 100644 --- a/.github/check.ini +++ b/check.ini |