aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.dockerignore (unfollow)
Commit message (Expand)Author
2023-06-30Makefile: move the prelude to prelude.mkEgor Tensin
2021-03-24add `make install`, `make test`, etc.Egor Tensin
2020-03-13Docker: ignore irrelevant stuffEgor Tensin
2019-12-30add .dockerignoreEgor Tensin