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

Commit Graph

  • faefc4758c master.php.net is case insensitive master Ferenc Kovacs 2013-02-06 11:44:56 +01:00
  • 943e9398a8 basic script for fetching the groups Ferenc Kovacs 2013-02-05 00:43:01 +01:00
  • 7d0afa3b17 executable Ferenc Kovacs 2013-02-05 00:34:04 +01:00
  • ebfa1ef5df initial import Ferenc Kovacs 2013-02-02 23:38:31 +01:00