idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

[ cleanup ] ignore generated file

Browse Source
This commit is contained in:
Justus Matthiesen 2022-12-12 14:46:46 +00:00
parent e673d05a67
commit 5718be2b45
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/idris2/pkg017/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
/expected