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 | cbc7945fff250fe24dc91bcaa3fec2d635dc052a (patch) | |
tree | b79292fd3c487498c7837ad6008636a1ed5163cf /demo/hello.urp | |
parent | a8b2771f6e2526855ae3387b876d7f861b53c817 (diff) |
'dynClass' pseudo-attribute
Diffstat (limited to 'demo/hello.urp')
0 files changed, 0 insertions, 0 deletions