php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-28 17:33:10 +02:00
Code Issues Packages Projects Releases Wiki Activity
7,696 Commits 13 Branches 4 Tags
d2ab76136565cb5d37ad03f286ab3600cd7aaf21
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