diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 11:31:17 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 11:32:51 +0200 |
| commit | bd1447ab76e7c256f67b203d74b2359d472bc69e (patch) | |
| tree | bf0208d01882e5c85fc2dfa2279a874fea07b019 /.github | |
| parent | use `--progress plain` with docker-compose build (diff) | |
| download | math-server-bd1447ab76e7c256f67b203d74b2359d472bc69e.tar.gz math-server-bd1447ab76e7c256f67b203d74b2359d472bc69e.zip | |
Makefile: move the prelude to prelude.mk
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions