Juan RP 5e81d61603 gdb: rename gdbstatic option to static.		2014-07-12 18:31:47 +02:00
..
patches	…
template	gdb: rename gdbstatic option to static.	2014-07-12 18:31:47 +02:00