templates/idris2/.envrc

2 lines
10 B
Plaintext
Raw Permalink Normal View History

2024-03-05 16:52:45 +01:00
use flake