projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 055f3e5 d34ac99)
Merge branch 'file-filter-properties' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 22 Nov 2022 04:00:40 +0000 (04:00 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 22 Nov 2022 04:00:40 +0000 (04:00 +0000)
filefilter: Add properties for the criteria

See merge request GNOME/gtk!5241


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.