diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 10:56:42 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-30 10:56:42 +0200 |
| commit | 61d5c061da12c06781710c80a9024d73efa035cc (patch) | |
| tree | 945939f32a8958cc05d8e0052924d7fb72d3f2f1 /.github | |
| parent | docker: bump base image (diff) | |
| download | cv-61d5c061da12c06781710c80a9024d73efa035cc.tar.gz cv-61d5c061da12c06781710c80a9024d73efa035cc.zip | |
Makefile: move the prelude to prelude.mk
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions