José Romildo Malaquias 3baa8c1bdc jgmenu: no need to explicitly set prefix make flag ... It is automatically passed to the configure script.		2020-05-11 08:26:07 -03:00
..
default.nix	jgmenu: no need to explicitly set prefix make flag	2020-05-11 08:26:07 -03:00