Log In
rpms
/
java-1.8.0-openjdk
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History policytool.desktop.in
Branch:
874c08227254d6e7580c2bc6a6fcc248eb17e5b7
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
874c08227254d6e7580c2bc6a6fcc248eb17e5b7
policytool.desktop.in
policytool moved to Settings
Jiri Vanek
• 9 years ago
564b1eb
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