summaryrefslogtreecommitdiff
path: root/demo/crud.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-18 13:47:23 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-18 13:47:23 -0500
commitf7e734939a492f3614992216364020db1125ddb6 (patch)
tree3a656d841d3d51256f9f4c27e6e48bb0f379097f /demo/crud.ur
parentdb24b56be23f35918bbd025c943ffe805330a488 (diff)
Extend prose about server .exes
Diffstat (limited to 'demo/crud.ur')
0 files changed, 0 insertions, 0 deletions