diff options
Diffstat (limited to 'dist/linux/envs/ubuntu_mcode.sh')
-rw-r--r-- | dist/linux/envs/ubuntu_mcode.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dist/linux/envs/ubuntu_mcode.sh b/dist/linux/envs/ubuntu_mcode.sh deleted file mode 100644 index e6f7c3232..000000000 --- a/dist/linux/envs/ubuntu_mcode.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=ubu+mcode -DOCKER_IMG="ghdl/ghdl-tools:ubuntu-mcode"
\ No newline at end of file |