|
|
7414b3e00c
|
Sort the files checked alphabetically
With this change failures should be more deterministic.
|
2015-10-19 17:22:06 +02:00 |
|
|
|
cfa5e962ba
|
Redirect debug information to the standard output
|
2015-10-04 13:05:53 +02:00 |
|
|
|
6ddac85570
|
Update the copyright notice
|
2015-06-08 03:31:15 +02:00 |
|
|
|
d4316f6f3f
|
Use PROGNAME
|
2015-06-08 03:31:15 +02:00 |
|
|
|
08d51a9edf
|
Added the "phplint.sh" helper script
|
2014-10-03 13:24:19 +02:00 |
|
