aboutsummaryrefslogtreecommitdiff
path: root/log/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-10-14 16:20:42 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2022-10-14 16:21:45 +0200
commitc03fa5d4e57033869cb437c1154da31abd96fc50 (patch)
tree78c034cf3a04deb8b1dc943df70e061245d26bcb /log/check.log
parentb76e401a854021eaeda6f8ba262baf37b4ecfac2 (diff)
update method for mhmkin objects, clarify comment
Diffstat (limited to 'log/check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint