waiverdb

Clone

e427981 Fix doc publication.

Authored and Committed by ralph 5 years ago
raw patch tree parent
1 file changed. 1 lines added. 3 lines removed.
Jenkinsfile
file modified
+1 -3 
    Fix doc publication.
    
    We can use GIT_BRANCH now that @jmolet updated our jenkins plugins.
file modified
+1 -3
Powered by Pagure 5.14.1
Documentation • File an Issue • About • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.