christos 23f2ffe8d5 add gnu attributes to the known sections		2014-01-02 19:20:35 +00:00
..
dist	add gnu attributes to the known sections	2014-01-02 19:20:35 +00:00
lib	…
Makefile	…
Makefile.inc	…
prepare-import.sh	…