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 /LICENSE.txt | |
| parent | e2d78e3fc1cb414d9d68af4cb4ee397b0c1f8dcc (diff) | |
make show_partition work even in absence of feature functions
Diffstat (limited to 'LICENSE.txt')
0 files changed, 0 insertions, 0 deletions