diff options
| author | Ben Sima <ben@bsima.me> | 2019-11-19 10:34:02 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-11-19 10:34:02 -0800 |
| commit | 38487dc957ddc4b4bd42ba53b78f9bec5bc4d514 (patch) | |
| tree | 84ce87a2f1997a06344e6da5c67706c657c13888 /.ghci | |
| parent | 1cdd122a07b28157d136a2cbf07a97117e6ac605 (diff) | |
Add if-not to dir-locals
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions