aboutsummaryrefslogtreecommitdiff
path: root/linux/Dockerfile
AgeCommit message (Expand)AuthorFilesLines
2017-04-02Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""John MacFarlane1-1/+0
2017-03-26Revert "Use file-embed instead of hsb2hs to embed data files."John MacFarlane1-0/+1
2017-03-26Use file-embed instead of hsb2hs to embed data files.John MacFarlane1-1/+0
2017-03-19Fixed paths: deb->linux.John MacFarlane1-4/+2
2017-03-19Improved linux tar.gz creation and added Dockerfile to repository.John MacFarlane1-0/+31