log tests/rpcDD.ur

age author description
2009-03-08 Adam Chlipala RPC returning a default datatype