summaryrefslogtreecommitdiff
path: root/tests/view.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 16:33:25 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 16:33:25 -0400
commitfdc6c1310be60fbeb597400618473861f78676de (patch)
tree201d14d77f7f944545809bff02ae45fc826bb7e7 /tests/view.urs
parent722b0c632007ac6ea178b05695974e447b4288a3 (diff)
Basis.getenv
Diffstat (limited to 'tests/view.urs')
0 files changed, 0 insertions, 0 deletions