Tags

Tags give the ability to mark specific points in history as being important

2ba60a5b · Initial commit · Feb 04, 2025

This tag marks the commit relevant to the submitted dissertation of Florian Kern.