wok-current view phppgadmin/stuff/phppgadmin.desktop @ rev 4024
grub: handle partition in /dev/mapper
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Fri Sep 04 13:38:12 2009 +0200 (2009-09-04) |
parents | 6bfa3b761dd2 |
children | 8e6734b0589d |