php/web-jenkins
1
0
Fork 0
mirror of https://github.com/php/web-jenkins.git synced 2026-03-24 09:12:16 +01:00
Code Issues Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Ferenc Kovacs
faefc4758c master.php.net is case insensitive 2013-02-06 11:44:56 +01:00
Ferenc Kovacs
943e9398a8 basic script for fetching the groups 2013-02-05 00:43:01 +01:00