patches/fluxbox-01-generatemenu.diff
changeset 8245 383896da4129
parent 2206 fb8d3903a5ac