summaryrefslogtreecommitdiff
path: root/demo/crud.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-10-05 04:38:20 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2016-10-05 04:38:20 -0400
commit3ee59d83f279e1e57dc7cf1e47d05e304afc703d (patch)
tree4bb291bbc792a73b9aca470ed4a9f5a47635bc06 /demo/crud.urs
parentc98872439db4ffacd818c82b4d6e0498c342f225 (diff)
Simplify listEdit demo (thanks, Michael Rohs!)
Diffstat (limited to 'demo/crud.urs')
0 files changed, 0 insertions, 0 deletions