diff options
| author | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2018-05-21 11:10:31 +0200 |
|---|---|---|
| committer | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2018-05-21 11:10:31 +0200 |
| commit | cf4ee93a463709e3d83d485c316d8db28e162f00 (patch) | |
| tree | c3283407e41d94c19cce41ef55f0b60b2da53d5d /Configure | |
| parent | 607d9bfd575f3cf99789042a232669951f24a562 (diff) | |
Removed obsolete parts.
Fixes issue #15.
Diffstat (limited to 'Configure')
0 files changed, 0 insertions, 0 deletions