diff options
| author | Carlo Zancanaro <carlo@clearboxsystems.com.au> | 2013-05-14 18:24:14 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@clearboxsystems.com.au> | 2013-05-14 18:24:14 +1000 |
| commit | 66914e32be56663950b08996ac076e11b1f56e61 (patch) | |
| tree | 0e41fb6d96aebd3f7e096f9c94d8247a2f75f1d9 /doc | |
| parent | 1d7cc24207467f09940525e7e6716546504909d9 (diff) | |
Fix precondition on rename
The precondition was too strong. Loosen it just enough to make the function
useful in all the ways it should be without allowing bad cases through.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions