update php: 4.2.2 -> 4.2.3
[nethome.git] / .gdbinit
2001-07-21 shortSome useful general functions