diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-03-16 10:09:01 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-16 10:09:01 -0400 |
commit | e5e7bbaaae9cde0981c77e488a29e730876964ba (patch) | |
tree | 32012eb864854a36e74947956e1133ce84cd64a7 /src/sqlite.sig | |
parent | a00e028f21afd87ef9dd3ed143f52fe648275d45 (diff) |
Undo an Especialize change that turned out to be unecessary
Diffstat (limited to 'src/sqlite.sig')
0 files changed, 0 insertions, 0 deletions