Changes pushed with changeset edb37110a26f1f824665eadc75f4561b40a7da74
User
Push date [To Local]
ChangesetPatch author — Commit message
bmo:mshal@mozilla.com
Tue May 03 16:57:06 2016 +0000
edb37110a26f1f824665eadc75f4561b40a7da74Mike Shal — Bug 1269787 - Move appini_header.py rule to moz.build; r?glandium
566f5c6fa2c9ae13addbf90b13d8f15a02b410f7Mike Shal — Bug 1269787 - Use _pretty_path instead of full path for inputs; r?glandium
26d457bff416011e7f349c8158b580e64a1eb976Mike Shal — Bug 1269787 - Choose tier for GENERATED_FILES based on extension; r?glandium