From 37098c19131bacf0e4b255c6006f13d8e5b60eaf Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Thu, 23 Sep 2010 08:10:32 +0000
Subject: [PATCH] allow unused arguments in functions now

-- 
GitLab