diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 17:12:46 +0200 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-24 17:12:46 +0200 |
commit | 7179db10f64809d1265da56496cde044d86cee29 (patch) | |
tree | 82834a754957d58a76e475c5703de08411d2f3d0 /configure.in | |
parent | 4c86a6348d9916b6404709452affa10e9c776efa (diff) | |
parent | 1d254cb23a090f69ea53c740dd988e99ee13a247 (diff) |
merged from david
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions