rpms / Agda-stdlib

Clone
Source Code
GIT

8fd7596 use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults

Authored and Committed by petersen 4 years ago
raw patch tree parent
1 file changed. 7 lines added. 2 lines removed.
Agda-stdlib.spec
file modified
+7 -2 
    use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults
file modified
+7 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.