diff options
| author | Eduardo Julian | 2018-07-28 15:39:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-28 15:39:32 -0400 |
| commit | 395f3bf37ab370c985bd253ee32ea242d2ebedad (patch) | |
| tree | d17222269bf9eff1b1a2a7c74191cfa87dd3f037 /.gitignore | |
| parent | e6db62dbd6529938dace0e1cf5743f4e985efb81 (diff) | |
Adjusted lux-mode to the latest syntactic changes.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions