3b7674d Target a specific commit instead of the master git tip

Authored and Committed by eclipseo 3 years ago
    Target a specific commit instead of the master git tip
    
        
file modified
+1 -0
file modified
+10 -6
file modified
+1 -1