diff options
| author | Florian Begusch | 2018-12-28 11:33:45 +0100 |
|---|---|---|
| committer | Florian Begusch | 2018-12-28 11:33:45 +0100 |
| commit | 14f558be5656ff68700f5a678def2cc1b7506239 (patch) | |
| tree | 008f1a8a73ae051b1bf2fd76c7f1f804ccc95605 | |
| parent | dbf5703f3da098c9abc0c7eea40eb219f0ff6c6d (diff) | |
| download | aur-14f558be5656ff68700f5a678def2cc1b7506239.tar.gz | |
Fix not deleting selection if present; fix not duplicating selection if present
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ # Contributor: soeren <nonick@posteo.de> pkgname=gummi-gtk2-git -pkgver=0.6.7.1 +pkgver=0.6.7.2 pkgrel=3 pkgdesc='Simple LaTex editor for GTK users (addtions to the original Gummi include: commenting functionality, cut/duplicate/delete line, reopening previously open files)' arch=('x86_64') |