]>
| author | Jiří Podivín <redacted> | |
| Fri, 21 Jul 2023 10:09:16 +0000 (12:09 +0200) | ||
| committer | GitHub <redacted> | |
| Fri, 21 Jul 2023 10:09:16 +0000 (13:09 +0300) | ||
| commit | 54e3bc76fed914f8d4a30a7a50c19867cccb1338 | |
| tree | edfb0147db2b09fadf6f399d5994ce9427074e03 | tree |
| parent | 019fe257bbf699f400231683a8b816ad90281275 | commit | diff |
| .gitignore | diff | blob | history | |
| Makefile | diff | blob | history |