summaryrefslogtreecommitdiff
path: root/tests/firebug.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 17:18:41 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 17:18:41 -0400
commit7e8e31fc6375ba9a0b9db891c3ecbc89fbf6d374 (patch)
tree256d88decd7a8c8d4f86cb636b841dbfd544c2d0 /tests/firebug.ur
parent20f0e57e0e9e418ef08ce8bdb202b6d10de1c86b (diff)
WHERE-dependent checking
Diffstat (limited to 'tests/firebug.ur')
0 files changed, 0 insertions, 0 deletions