Log In
rpms
/
java-1.8.0-openjdk
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History policytool.desktop.in
Branch:
eb2bdf476fb4e3147337478129fda1c8a3c5ffc2
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
eb2bdf476fb4e3147337478129fda1c8a3c5ffc2
policytool.desktop.in
policytool moved to Settings
Jiri Vanek
• 9 years ago
09b6d31
fixed desktop icons
Jiri Vanek
• 9 years ago
05f34c8
fixing tapset to support multipleinstalls, added more config/norepalce, policitool moved to jre
Jiri Vanek
• 9 years ago
2a29878
break package.
Jiri Vanek
• 9 years ago
b5340fb
Include version information in desktop files
Omair Majid
• 10 years ago
0ccb6d0