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