diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-03 11:56:15 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-03 11:56:15 -0500 |
| commit | e11ccc105515341e9cf2e49c7f0357c86d15d466 (patch) | |
| tree | a3082108bb32ba616436bdcb7a00b7cd48b391b7 /tests/vlad3.urp | |
| parent | ebff207e853e7dda8f5dc0bf364c6578d86c5c55 (diff) | |
| parent | 6fe3b9b161042130f6df278defee7dfd8ae6850d (diff) | |
Merge
Diffstat (limited to 'tests/vlad3.urp')
| -rw-r--r-- | tests/vlad3.urp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/vlad3.urp b/tests/vlad3.urp new file mode 100644 index 00000000..3a0fa1f3 --- /dev/null +++ b/tests/vlad3.urp @@ -0,0 +1,2 @@ + +vlad3 |