diff options
| author | Ernesto Rico-Schmidt <e.rico.schmidt@gmail.com> | 2016-05-01 13:46:50 (GMT) |
|---|---|---|
| committer | Ernesto Rico-Schmidt <e.rico.schmidt@gmail.com> | 2016-05-01 13:46:50 (GMT) |
| commit | 36dffe4825bbf34435785aabdee67101cef725c4 (patch) | |
| tree | 8899132fa76241ef280766fc91cca3cb0ae04ae4 /.gitignore | |
| parent | 0386ab3ed2ea15385adab932c93f87f28464de1e (diff) | |
minor cosmetics.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions