diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2009-10-06 10:24:41 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2009-10-06 10:24:41 +0200 |
| commit | 4cf73660273fa8c1ea9db4e41bc576f93fd0ccc9 (patch) | |
| tree | 29be07a3c75f99763b0d2721f55ff23123ac0972 /scripts | |
| parent | 904f35d19497b5442a80a30c42d00fc52c22fe36 (diff) | |
fix compilation in stable norm, move a platform check to the unit tests
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions