Philipp Möller 1aa334ff34 Remove unnecessary variable ... Never used anywhere and does not work with out-of-source builds anyway...		2016-02-16 17:02:56 +01:00
..
modules	Remove unnecessary variable	2016-02-16 17:02:56 +01:00