diff options
| author | Mike Schwörer | 2022-07-14 20:22:27 +0200 |
|---|---|---|
| committer | Mike Schwörer | 2022-07-14 20:22:27 +0200 |
| commit | 2777e1d7086224cf10cf4f929b084169c503ad2c (patch) | |
| tree | 8f4d28363bc002050e4099ec0cd32a5167e9cb8f | |
| parent | e3526fa56e2ea1e8f1ff6baf082ac44bc7b07b74 (diff) | |
| download | aur-2777e1d7086224cf10cf4f929b084169c503ad2c.tar.gz | |
remove StartupWMClass from desktop file
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 4 | ||||
| -rw-r--r-- | key-project.desktop | 2 |
3 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = key-project pkgdesc = A program to use formal verification with Java programs pkgver = 2.10.0 - pkgrel = 1 + pkgrel = 2 url = https://www.key-project.org/ arch = any license = GPL @@ -3,7 +3,7 @@ pkgname=key-project pkgver=2.10.0 -pkgrel=1 +pkgrel=2 pkgdesc="A program to use formal verification with Java programs" @@ -26,7 +26,7 @@ noextract=("key-$pkgver-exe.jar") sha256sums=( '102d85d94612272a66bf4612b06ffa0561b709bbeb3ea55ed9bd28b339211f18' - 'e7ec88c40bce27a7c344c90bc39c54a0f2a20e239f277a6e77cdbf6036957d7f' + '16377958fce36d59c8fcfd9d0e34587ef1d671fd8c0aa79ca510539e1596fef5' 'f88c92559367ca052427ef090fa934a39753200a029a29b83092309912df36a8' 'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62' 'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62' diff --git a/key-project.desktop b/key-project.desktop index 84b3fb5e11c2..dac76197d22b 100644 --- a/key-project.desktop +++ b/key-project.desktop @@ -5,4 +5,4 @@ Icon=key-project Exec=key-project Terminal=false Categories=Application -StartupWMClass=java-lang-Thread +#StartupWMClass=java-lang-Thread |