projects / hdr.git / tag
? search:
summary | shortlog | log | commit | commitdiff | tree

sent-to-committee
object 1561308259214b6e759c65744c8c2b752e302a99 commit
authorThomas Pietrzak <thomas.pietrzak@gmail.com>
Thu, 5 May 2022 14:59:14 +0000 (16:59 +0200)
Version sent to the committee
Habilitation