| commit | 7037085959cbdb8717c342afe8bcfb7d2301c58d | [log] [tgz] |
|---|---|---|
| author | Armin Rigo <arigo@tunes.org> | Wed Nov 29 21:59:22 2006 +0000 |
| committer | Armin Rigo <arigo@tunes.org> | Wed Nov 29 21:59:22 2006 +0000 |
| tree | 41eeeeb80132b0bf5793023e1f1f9892116b7aa9 | |
| parent | ef583a4992d8d7c635e77eb1a3af2b12f46fed50 [diff] |
Forgot a case where the locals can now be a general mapping instead of just a dictionary. (backporting...)