Nikita Prokopov
|
8f4cc97fd5
Removed Docker build from Makefile
|
2 years ago |
Andrew Archibald
|
d172396be6
Fix missing script .sh extensions; add Docker build notes
|
3 years ago |
Andrew Archibald
|
888580a05a
Use git-tagged version when packaging
|
3 years ago |
Tommy Wang
|
f967f62036
Dockerize build
|
4 years ago |