diff options
| author | sharkdp <davidpeter@web.de> | 2018-09-03 22:12:41 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2018-09-03 22:12:41 +0200 |
| commit | 67ec5fe2b7156b7ee5358e7f6c4995451ef1bbff (patch) | |
| tree | 209829f48f0e9219dfb86b8820cc0e938daf7b53 /assets/themes | |
| parent | 3447ed4def7bee1172f8885cba0cc55440d96a5f (diff) | |
Add OneHalf themes, closes #256
Diffstat (limited to 'assets/themes')
| m--------- | assets/themes/onehalf | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/themes/onehalf b/assets/themes/onehalf new file mode 160000 +Subproject 2516b37c3f201f3d9f2ee194f00fbb20c1ca741 |