mirrors/wmii
1
0
Fork 0
mirror of https://github.com/0intro/wmii synced 2025-02-20 00:04:37 +03:00
Code Issues Packages Projects Releases Wiki Activity

Bump wm priority on debian build from 20 to 60.

Browse Source
This commit is contained in:
Kris Maglione 2009-10-16 10:14:15 -04:00
parent e9752c5081
commit 3fa8e4ec06
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
debian/changelog vendored
View File

@ -1,3 +1,9 @@
wmii-hg (hg2550) unstable; urgency=low
* Bump window manager alternative priority from 20 to 60 per policy manual.
-- Kris Maglione <jg@suckless.org> Fri, 16 Oct 2009 10:13:22 -0500
wmii-hg (hg2548) unstable; urgency=low
* Sync with Daniel Bauman's upstream package.

3
debian/rules vendored
View File

@ -7,6 +7,9 @@ include /usr/share/quilt/quilt.make
clean: unpatch
build: patch
override_dh_installwm:
dh_installwm --priority=60
override_dh_compress:
dh_compress -X.pdf