5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
josch	e0d7346b4a	move shredding from makedef to defextract	2014-03-14 13:05:33 +01:00
josch	2a7f5da0d0	a bunch of more fixes	2014-03-13 10:20:19 +01:00
josch	d0a60081ac	added makedef.py	2014-03-12 18:24:13 +01:00
josch	bd9bd797e2	added defextract	2014-03-12 15:14:19 +01:00
josch	94929a2fda	initial commit	2014-03-11 17:12:36 +01:00