diff options
| author | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-22 11:29:39 +0200 |
|---|---|---|
| committer | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-06-22 11:43:28 +0200 |
| commit | 91900a323ca89592c200e55dc8afc65c8a9abe3a (patch) | |
| tree | 1850adafd1bf427d549fa2b6509230ae5a1cf8ee /Types.hs | |
| parent | 65944a1cdfe3c06df737e5c54aec43292d0180bf (diff) | |
| download | reploy-91900a323ca89592c200e55dc8afc65c8a9abe3a.tar.gz reploy-91900a323ca89592c200e55dc8afc65c8a9abe3a.tar.bz2 | |
add a script for sourcing the timestamps from gits
Fixes #2
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions