diff options
| author | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
| commit | 70534ffd9c346ac23f9d5574b9c7820dccebc350 (patch) | |
| tree | e2370a43a8bb2bdcb349d5bbbe477312859365f3 /.gitignore | |
| parent | e717f33e192a5969760c033c47f9c4709485dd76 (diff) | |
- Some refactoring.
- Moved "assume" and "default" to lux/data/maybe.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions