diff options
| author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-09-30 16:53:52 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-09-30 16:53:52 (GMT) |
| commit | 3dfe1d1d684b541f1e98bd716f44089780dca11f (patch) | |
| tree | a0789652fd7d50e7824e8a0188a5ffec36ba3bac /configure.ac | |
| parent | ed384da6b55f0df1d492ec2253febb2fc85eada6 (diff) | |
Move ui-check code inside the script.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions