|
|
0bb41efbf1
|
Add a comment
|
2016-01-20 02:08:23 +01:00 |
|
|
|
024133740f
|
Update the copyright notice
|
2016-01-20 01:59:10 +01:00 |
|
|
|
0d2581ebbc
|
Detect which directories to test
|
2016-01-20 01:59:02 +01:00 |
|
|
|
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 |
|
