Consent

On this website, we use the web analytics service Matomo to analyze and review the use of our website. Through the collected statistics, we can improve our offerings and make them more appealing for you. Here, you can decide whether to allow us to process your data and set corresponding cookies for these purposes, in addition to technically necessary cookies. Further information on data protection—especially regarding "cookies" and "Matomo"—can be found in our privacy policy. You can withdraw your consent at any time.

Skip to content
Snippets Groups Projects
Commit 9dc2b1c1 authored by Stephan Bosch's avatar Stephan Bosch
Browse files

Merged changes from Pigeonhole v0.3 tree.

parents c882d9ee 0cfb762d
No related branches found
No related tags found
Loading
Showing
with 862 additions and 102 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment