17 Commits (5a809ef0f009bb6c412b5bf5f846feecfb133d70)

Author SHA1 Message Date
Wladimir J. van der Laan 905711f0a1 contrib: improve optimize-pngs.py 10 years ago
Jonas Schnelli 42f6a0c2b9 [Qt] optimize PNG files 10 years ago
Wladimir J. van der Laan 39c809942d contrib: make github-merge require signing 10 years ago
sandakersmann f914f1a746
Added "Core" to copyright headers 10 years ago
Michael Ford 78253fcbad Remove references to X11 licence 10 years ago
Wladimir J. van der Laan 6e6a36ce30 contrib: show pull # in prompt for github-merge script 10 years ago
Wladimir J. van der Laan cd3269e38e
contrib: revert changes to github-merge.sh in #5038 10 years ago
Luke Dashjr 0b17964131 Bugfix: Replace bashisms with standard sh in tests/tools 10 years ago
Wladimir J. van der Laan da59f28335 Add deeper XML checking to update-translation script 10 years ago
Gavin Andresen c53b1ece1b
Fix github-merge with git version 2.1.0 10 years ago
Wladimir J. van der Laan 27116e87cc
devtools: Exclude default exports from symbol-checker script 10 years ago
Wladimir J. van der Laan 9dd5d79244 devtools: add a script to fetch and postprocess translations 11 years ago
Wladimir J. van der Laan 202c95c216 devtools: have symbol check script check for exported symbols 11 years ago
Wladimir J. van der Laan 74fc254c2b devtools: add script to check symbols from Linux gitian executables 11 years ago
gubatron 57702541a2 Copyright header updates s/2013/2014 on files whose last git commit was done in 2014. 11 years ago
Wladimir J. van der Laan e5adec35c6 contrib: add sipa's github-merge script 11 years ago