diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-02 13:48:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-02 13:48:59 -0400 |
| commit | fc19366c97d980fc47e23fc9404d5c661da46fd0 (patch) | |
| tree | 7af63574c59ba2ed7af869da994d8d4d27e1853a /tests/curry.ur | |
| parent | 0239a9fe128d261f7abeaedc61414d68db985358 (diff) | |
Make sure only one pull request runs at a time for each client
Diffstat (limited to 'tests/curry.ur')
0 files changed, 0 insertions, 0 deletions