summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 16:08:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 16:08:31 -0400
commitd52cd67621a27bbd27888c170c843fafb552658c (patch)
treeda9a0932b4510bfb29a492314912c4e4aa84b73b /src/sources
parent813e9aa4d196962f47c784aeedeaf1cddf54dc4f (diff)
Reducing known record projections
Diffstat (limited to 'src/sources')
0 files changed, 0 insertions, 0 deletions