more consistent formatting of special terms #14

Triggered via pull request August 31, 2023 16:41

RalfJung

opened #456

RalfJung:term-format

Status Success

Total duration 36s

Artifacts 1

deploy.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	3.13 MB