Yannick Warnier
|
d1b37f34fe
Minor - Add license refs + change dirname(__FILE__) to __DIR__ (about 4 times faster). See http://stackoverflow.com/questions/2749416/is-there-any-difference-between-dir-and-dirname-file-in-php
|
7 years ago |
Angel Fernando Quiroz Campos
|
f25aedce3a
Scrutinizer Auto-Fixes (#5) (#1162)
|
8 years ago |
aragonc
|
94984e6b12
merge
|
10 years ago |
Noel Dieschburg
|
fc7ed0391a
First CAS implementation
|
14 years ago |