diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-07-13 01:02:24 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-07-13 01:02:24 +0300 |
| commit | 7fe72dfce0d35cf550f0be9a09e90ee0dd8c53c5 (patch) | |
| tree | 1fa749888d897c8e97a16c5ce01bd33fa20c95de /EXTENDED_CONFIGURATION.md | |
| parent | 97c28065674dc2447dd7437f68218fda377a183c (diff) | |
polish lean.zsh a bit
Diffstat (limited to 'EXTENDED_CONFIGURATION.md')
0 files changed, 0 insertions, 0 deletions