pungi

Clone

d8d1cc5 paths: Allow customizing log file extension

Authored and Committed by lsedlar 2 years ago
raw patch tree parent
1 file changed. 3 lines added. 2 lines removed.
pungi/paths.py
file modified
+3 -2 
    paths: Allow customizing log file extension
    
    If the file contents is JSON, it would be nice to have matching
    extension.
    
    Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>
file modified
+3 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.