aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/crud.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 14:04:07 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 14:04:07 -0500
commit487f7affa283ac96326a6891c29c0800690b2c5f (patch)
treee356fff1dd9e40b0542313178974d74c1d3ff6c3 /demo/crud.urs
parent330dbb60d0cffe60d5257adbd82028737165bf63 (diff)
Make folders abstract
Diffstat (limited to 'demo/crud.urs')
0 files changed, 0 insertions, 0 deletions