idris2-render/.gitignore

*.ibc
*.o

build/
*.*~

**/.DS_Store

# Ignore output images
*.ppm
*.png
*.jpg
*.gif
Create basic package structure 2022-11-29 13:38:17 -05:00			`*.ibc`
			`*.o`

			`build/`
			`.~`
Update .gitignore 2022-11-29 13:45:04 -05:00
Update .gitignore 2022-11-29 13:46:09 -05:00			`**/.DS_Store`
Add PPM image exporting 2022-11-30 12:56:52 -05:00
			`# Ignore output images`
			`*.ppm`
			`*.png`
			`*.jpg`
			`*.gif`