Juan RP 5e81d61603 gdb: rename gdbstatic option to static.		2014-07-12 18:31:47 +02:00
..
patches	gdb: update to 7.7.	2014-02-06 16:06:41 +01:00
template	gdb: rename gdbstatic option to static.	2014-07-12 18:31:47 +02:00