diff options
| author | Eduardo Julian | 2016-07-30 18:37:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-07-30 18:37:45 -0400 |
| commit | 256faabe7dd8ac26ed86c5868af4d417c441cdc1 (patch) | |
| tree | 599687897fa8d36b5d08fc778ce113b3bd846650 /.gitignore | |
| parent | 196fe38526fef3516be5fac9501cdabeeee19eef (diff) | |
- Now storing the name of each scope as a list/stack of name-fragments, to eliminate the need to keep an explicit cache for it.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions