diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2015-08-05 18:30:49 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2015-08-05 18:30:49 +0200 |
commit | e10e9942ded6eac8c7c82244c0209c6d67d17370 (patch) | |
tree | 3e8b3ca0b4222f7b359f53987915b1cce35c74fd /docs/observations.md | |
parent | c617cf6ef8ad0b00523a40f886ea64afe47b1712 (diff) |
changed text selection color
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions