diff options
| author | bculkin2442 <bjculkin@mix.wvu.edu> | 2016-07-28 16:38:59 -0400 |
|---|---|---|
| committer | bculkin2442 <bjculkin@mix.wvu.edu> | 2016-07-28 16:38:59 -0400 |
| commit | d80f404865656b6d1a8faf41cecdd61343adcd0b (patch) | |
| tree | a00a33e6e6cf2c7e568919e628828da848231027 /dice-lang/.settings | |
| parent | f62abec2577d3745475581a19eff71dbb8c0494e (diff) | |
Fixed an issue with instantiating lazy values.
Also, work on language impl. notes
Diffstat (limited to 'dice-lang/.settings')
| -rw-r--r-- | dice-lang/.settings/org.eclipse.core.resources.prefs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dice-lang/.settings/org.eclipse.core.resources.prefs b/dice-lang/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..d0482e7 --- /dev/null +++ b/dice-lang/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/lang-impl.html=UTF-8 |