configure.pl
|
Split up configure script
|
2013-09-30 19:04:35 +02:00 |
generate.pl
|
Split up configure script
|
2013-09-30 19:04:35 +02:00 |
generate.sh
|
Split up configure script
|
2013-09-30 19:04:35 +02:00 |
patch.sh
|
Add update-patches target
|
2013-12-28 15:31:11 +01:00 |
unpatch.sh
|
Add update-patches target
|
2013-12-28 15:31:11 +01:00 |
update-patches.sh
|
Make patch generation deterministic
|
2013-12-28 17:17:02 +01:00 |
update.sh
|
Add update-patches target
|
2013-12-28 15:31:11 +01:00 |