diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-27 16:20:48 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-27 16:20:48 -0500 |
commit | 7da813265f0601380cdc23e5f89b01dd187a4458 (patch) | |
tree | b79292fd3c487498c7837ad6008636a1ed5163cf /src/cjr_env.sig | |
parent | 0bd86cec8a712d19d4378d84584c7d0ba4e5a7af (diff) |
'dynClass' pseudo-attribute
Diffstat (limited to 'src/cjr_env.sig')
0 files changed, 0 insertions, 0 deletions