rpms / gnome-shell-extension-historymanager-prefix-search

Clone
Source Code
GIT

b4f8609 Bump to upstream version 12, adding new option, schema, translations

Authored and Committed by terrycloth 5 years ago
raw patch tree parent
2 files changed. 23 lines added. 13 lines removed.
gnome-shell-extension-historymanager-prefix-search.spec
file modified
+22 -12
sources
file modified
+1 -1 
    Bump to upstream version 12, adding new option, schema, translations
  • Build completed
    success
    Built as gnome-shell-extension-historymanager-prefix-search-12-1.fc31
    5 years ago
  • Build completed
    success
    Built as gnome-shell-extension-historymanager-prefix-search-12-1.fc29
    5 years ago
  • Build completed
    success
    Built as gnome-shell-extension-historymanager-prefix-search-12-1.fc28
    5 years ago
  • Build completed
    success
    Built as gnome-shell-extension-historymanager-prefix-search-12-1.fc30
    5 years ago
file modified
+22 -12
file modified
+1 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.