diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-11-19 17:06:11 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-11-19 17:06:11 -0500 |
| commit | 17707f8419d61ef9c9df14c9693226a1ca5a0526 (patch) | |
| tree | d54b6c2e162e0af0734d7d2adbf6a93f140606a3 /demo/batchFun.urs | |
| parent | 0d2d940a2932847de8553dae4cae54797c02e157 (diff) | |
Fix RPC deserialization of channels
Diffstat (limited to 'demo/batchFun.urs')
0 files changed, 0 insertions, 0 deletions