summaryrefslogtreecommitdiff
path: root/src/exe/Main.lhs
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2022-10-03 18:21:44 +0200
committerLars-Dominik Braun <lars@6xq.net>2022-10-03 18:21:52 +0200
commit623f8efba15e167ebae89618cb5362c3f9486ec0 (patch)
treeab5c89eb458b09cb9e416d72e8cd221d30efbc74 /src/exe/Main.lhs
parente8a5a846f6d919e3cc14318d1471e316754436ef (diff)
downloadpesto-623f8efba15e167ebae89618cb5362c3f9486ec0.tar.gz
pesto-623f8efba15e167ebae89618cb5362c3f9486ec0.tar.bz2
pesto-623f8efba15e167ebae89618cb5362c3f9486ec0.zip
lint: Allow annotating results with a time
Used to indicate how long it takes to achieve a result.
Diffstat (limited to 'src/exe/Main.lhs')
0 files changed, 0 insertions, 0 deletions