michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/library/.project

3 lines
36 B
Text
Raw Permalink Normal View History

chore(library): add .project file
2014-08-29 09:51:22 +00:00
+ *.lean
- flycheck*.lean
- .#*.lean
Reference in a new issue Copy permalink