diff options
author | 2011-12-03 10:00:10 -0500 | |
---|---|---|
committer | 2011-12-03 10:00:10 -0500 | |
commit | 2286c970ce9d32a630e289df2685dbdff8e18217 (patch) | |
tree | 999270929063a6966b6a45583e091ce015e612b3 /src/coq/Name.v | |
parent | 7136358c17f8193173e8a0a9469821039212d879 (diff) |
Allow sources to be returned by RPCs
Diffstat (limited to 'src/coq/Name.v')
0 files changed, 0 insertions, 0 deletions