Juan RP 18e7d8b2d8 openbox: update to 3.5.2 (soname bumps).		2013-08-12 09:04:04 +02:00
..
openbox-3.5.0-title-matching.patch	…
openbox-3.5.0-which-2.20.patch	…