php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-01 12:12:16 +02:00
Code Issues Packages Projects Releases Wiki Activity
7,898 Commits 12 Branches 4 Tags
7542e119fcb837ced954009880cc97352e9bc4a0
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