Matthias Schiffer 37f1248d3d Add some more fixes and some checks for the new module system 10 years ago
..
configure.pl 2f919846c2 Split up configure script 10 years ago
generate.pl 2f919846c2 Split up configure script 10 years ago
generate.sh 2f919846c2 Split up configure script 10 years ago
patch.sh 1b33134353 Make patch and update scripts a bit nicer 10 years ago
unpatch.sh 1cc0948597 Add update-patches target 10 years ago
update-patches.sh a6ae2786f3 Make patch generation deterministic 10 years ago
update.sh 1b33134353 Make patch and update scripts a bit nicer 10 years ago