COMMITS
/ Makefile January 14, 2022
N
Removed Docker build from Makefile
Nikita Prokopov committed
November 12, 2021
A
Fix missing script .sh extensions; add Docker build notes
Andrew Archibald committed
February 15, 2021
A
Use git-tagged version when packaging
Andrew Archibald committed
June 17, 2020
T
Dockerize build
Tommy Wang committed