tzemanovic/idris2-dep-graph - Change XC7SLUTH26FL73EXBRJUCQQ7ZASZ4HUOQZZVJGSQVHC7LOAHCNSAC

add .ignore

Created by tzemanovic on April 3, 2026

XC7SLUTH26FL73EXBRJUCQQ7ZASZ4HUOQZZVJGSQVHC7LOAHCNSAC

Dependencies

[2] 6QLFPPNK7PODCXRW6GHDOOQJWREELC2UCIAZN4SRYOVWIL4THLBQC

In channels

main

Change contents

File addition: .ignore (----------)
[2.1]
```
.git
.DS_Store
```