diff options
author | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-07-06 13:01:21 +0300 |
---|---|---|
committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-07-06 13:01:21 +0300 |
commit | 68dd0171bc51e871a522d21a40c35c08de0fb573 (patch) | |
tree | f1ec0a56f0f1160a7f0f8ca0d011f5d3c0277604 /tools | |
parent | a1cec46b3e824292b4ae22fa1f5c4faf9846196c (diff) |
Switch the example project to use the new .options file
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions