.. |
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 |