From 7804827e9e8b509fd180ae636c81dc1d23d2cc29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Malte=20J=C3=BCrgens?= <maltejur@dismail.de>
Date: Thu, 5 May 2022 21:09:47 +0200
Subject: [PATCH] remove useless dockerfile arg

---
 assets/linux.Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/assets/linux.Dockerfile b/assets/linux.Dockerfile
index 09771d7..501d8fd 100644
--- a/assets/linux.Dockerfile
+++ b/assets/linux.Dockerfile
@@ -3,7 +3,6 @@ FROM $distro
 
 ARG version=error
 ARG source_release=error
-ARG full_version=error
 
 # we use this wasi version
 ENV wasi_fullversion 14.0