Skip to content

Commit d538a9c

Browse files
authored
gitignore: re-add palomar (#1405)
2 parents af2fec9 + 74805ca commit d538a9c

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,7 @@ test-coverage.out
2929
/gosky
3030
/hepa
3131
/lexgen
32+
/palomar
3233
/rainbow
3334
/relay
3435
/sonar

0 commit comments

Comments
 (0)