diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-30 15:33:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-30 15:33:28 -0400 |
| commit | b1710b4191841176fa84a2d7e10cabcf1d048bb4 (patch) | |
| tree | b3af420e0116388b43fc38752a344cbd9ed04b32 /src/core_env.sig | |
| parent | d710cc7a5aa246763af96dfca57ec8a7a5a6fd37 (diff) | |
CURRENT_TIMESTAMP
Diffstat (limited to 'src/core_env.sig')
0 files changed, 0 insertions, 0 deletions