projects / pgwui_server / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74dc866) | patch
Fix conditional yamllint execution
authorKarl O. Pinc <kop@karlpinc.com>
Fri, 21 Jun 2024 23:10:57 +0000 (18:10 -0500)
committerKarl O. Pinc <kop@karlpinc.com>
Fri, 21 Jun 2024 23:10:57 +0000 (18:10 -0500)
commitb9a2d1815963770abe08f34048770b92152cea30
treea7eb1d9498b82355bf70fb98de7a6e30be8c8ec9tree | snapshot
parent74dc8661b69408437a57a1c535d438dec5224162commit | diff
Fix conditional yamllint execution
Makefile_pgwui.mk diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.