upd .gitignore
This commit is contained in:
parent
924d07c8ed
commit
22e86bbb89
|
|
@ -4,10 +4,12 @@
|
|||
**/test_gen.caches/*
|
||||
**/classes_gen/*
|
||||
**/classes_jchr/*
|
||||
**/.mps/dictionaries/*
|
||||
**/.mps/workspace.xml
|
||||
**/.mps/shelf/*
|
||||
**/.idea/workspace.xml
|
||||
**/lib/*
|
||||
**/.DS_Store
|
||||
.gradle
|
||||
out
|
||||
build/*
|
||||
|
|
|
|||
|
|
@ -2,9 +2,11 @@
|
|||
<dictionary name="grigorii.kirgizov">
|
||||
<words>
|
||||
<w>arg</w>
|
||||
<w>coderules</w>
|
||||
<w>incrementality</w>
|
||||
<w>logicals</w>
|
||||
<w>symmetricity</w>
|
||||
<w>typechecking</w>
|
||||
<w>unifications</w>
|
||||
</words>
|
||||
</dictionary>
|
||||
|
|
|
|||
Loading…
Reference in New Issue