diff options
| author | Oleg Morozenkov <m@oleg.rocks> | 2018-03-10 15:14:12 +0300 |
|---|---|---|
| committer | Oleg Morozenkov <m@oleg.rocks> | 2018-03-10 15:14:12 +0300 |
| commit | 6f8c497df3c45fac58d0da0af8ca1e98f6bf2ed3 (patch) | |
| tree | da8d869a0a3744ee94308778c46924735986644f /src/tools | |
| parent | d169a7bc44fcdc7e2faac7886aa131fa1471b2de (diff) | |
Revert "Fixes #40"
This reverts commit d169a7bc44fcdc7e2faac7886aa131fa1471b2de.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions