Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

Document `%H` pattern.

This closes issue #305 (closed).