diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-08 12:50:27 +0100 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-08 12:50:27 +0100 |
| commit | 0075c1b05a73e3d3a726d0df5cdd57c5f0a29461 (patch) | |
| tree | 23a4a7cdb4a3b1508316226a776061aaabe21a3c /.github | |
| parent | Makefile: remove obsolete recipes (diff) | |
| download | math-server-0075c1b05a73e3d3a726d0df5cdd57c5f0a29461.tar.gz math-server-0075c1b05a73e3d3a726d0df5cdd57c5f0a29461.zip | |
Makefile: a micro-fix
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions