Merge pull request #250 from umarcor/containers
authorMichael Neuling <mikey@neuling.org>
Tue, 1 Dec 2020 00:10:41 +0000 (11:10 +1100)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 00:10:41 +0000 (11:10 +1100)
makefile: update synthesis containers


Trivial merge