diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 13:39:39 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 13:39:39 -0500 |
commit | 2e15d09d98e36a3ec714b57b16c551f6f0b95c10 (patch) | |
tree | 7eb333da71eebbc2d5ce204d81735326b7800e15 /demo/outer.ur | |
parent | 02afe045eb1e420b3b09d69f76d4b3b512d43be5 (diff) |
Remove a faulty time tweak from Postgres serialization
Diffstat (limited to 'demo/outer.ur')
0 files changed, 0 insertions, 0 deletions