diff options
author | Guest_account Guest_account prguest11 <prguest11@taipan.cs> | 2011-09-23 15:44:35 +0100 |
---|---|---|
committer | Guest_account Guest_account prguest11 <prguest11@taipan.cs> | 2011-09-23 15:44:35 +0100 |
commit | e1b61419329c83709018ca397a29d069e4294bd1 (patch) | |
tree | 679dbb13ecc2d85b6fe0ab4e2ee4efb9a7891046 /SConstruct | |
parent | e2d78e3fc1cb414d9d68af4cb4ee397b0c1f8dcc (diff) |
make show_partition work even in absence of feature functions
Diffstat (limited to 'SConstruct')
0 files changed, 0 insertions, 0 deletions