php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-24 07:12:16 +01:00
Code Issues Packages Projects Releases Wiki Activity
8,082 Commits 11 Branches 4 Tags
82a5103bccbc2ca45cff5a2ed6ae71aecc8af0c7
Commit Graph

3 Commits

Author SHA1 Message Date
Hannes Magnusson
60d5c3b903 Add current config option (ignored in old-web), and FIXME placeholders for pages 
not in any menu yet
 2010-12-28 11:09:09 +00:00
Hannes Magnusson
e9d41d0351 There is no such thing anymore 2010-02-19 18:23:57 +00:00
Gabor Hojtsy
6231e10e02 cleaning up the software page placement 2006-09-20 09:46:18 +00:00