diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
| commit | c88aa571002f0dd713158f8b80bfeacbd0a69569 (patch) | |
| tree | 507937107d84d7bff716d0a7a329734101cba009 /tests/time.urp | |
| parent | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (diff) | |
When using a file cache, add plugin-loading code (for SHA512) to tops of .sql files
Diffstat (limited to 'tests/time.urp')
0 files changed, 0 insertions, 0 deletions