1 Oct
2023
1 Oct
'23
6:53 p.m.
MarsSeed [1] filed a deletion request for openbox-xdgmenu [2]: Unused GNOME2 based utility to from 2011. (Was used to migrate menu structure from Ubuntu to Openbox.) [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/openbox-xdgmenu/