author | Giulio Benetti <giulio.benetti@micronovasrl.com> | |
Wed, 26 Jun 2019 12:58:58 +0000 (14:58 +0200) | ||
committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | |
Sat, 3 Aug 2019 10:57:46 +0000 (12:57 +0200) | ||
commit | 34bcc4c6b003087673cf5faf3a896154b9425f75 | |
tree | cd223ab2f87959b080cdc7d3a62dcc6b0240c33a | tree |
parent | eb8a7baa5090a6a0dff96d9bb2210c4760223877 | commit | diff |
package/prboom/0002-configure-remove-predefined-O2-optimization-flag.patch | [new file with mode: 0644] | blob |
package/prboom/prboom.mk | diff | blob | history |