diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-07-05 12:25:00 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-07-05 12:25:00 +0000 |
| commit | 51cba7081586492b31da717b433d199fb7fac3f7 (patch) | |
| tree | 92e75df7e8e6607851f5cb311632a2be30a55e12 /examples/regulus | |
| parent | 2938c2082d02a888e5dc14578d0d213b3b0f7972 (diff) | |
Use compiled.tgz in dist and install-lib.
Diffstat (limited to 'examples/regulus')
0 files changed, 0 insertions, 0 deletions
