rpms / Agda-stdlib

Clone
Source Code
GIT

c7c6fe2 include _build/ for .agdai files; move Everything/README to docs

Authored and Committed by petersen 3 years ago
raw patch tree parent
1 file changed. 8 lines added. 4 lines removed.
Agda-stdlib.spec
file modified
+8 -4 
    include _build/ for .agdai files; move Everything/README to docs
file modified
+8 -4
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.