diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-11-22 10:03:35 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-11-22 10:03:35 -0500 |
| commit | deb89707754afa4caab231ca3b98764e6d695a3b (patch) | |
| tree | 406ee5a2ccbaa50a1c654156d6da525c78af3245 /tests/vlad2.urs | |
| parent | 736665b9b6975af4dbb3f68cec31fb75d77915f2 (diff) | |
Make daemon mode support sharing of libraries across projects
Diffstat (limited to 'tests/vlad2.urs')
0 files changed, 0 insertions, 0 deletions