wok view phppgadmin/stuff/phppgadmin.desktop @ rev 24889
grub2: sed command corrected
author | Hans-G?nter Theisgen |
---|---|
date | Sat Apr 02 17:34:21 2022 +0100 (2022-04-02) |
parents | 8e6734b0589d |
children |
author | Hans-G?nter Theisgen |
---|---|
date | Sat Apr 02 17:34:21 2022 +0100 (2022-04-02) |
parents | 8e6734b0589d |
children |