e3aad73 drop the Agda obsoletes

Authored and Committed by petersen 7 years ago
    drop the Agda obsoletes
    
        
file modified
+5 -3