Skip to content

ENHANCED: Add Prolog navigator to theme/dark.pl #830

ENHANCED: Add Prolog navigator to theme/dark.pl

ENHANCED: Add Prolog navigator to theme/dark.pl #830

Triggered via push October 19, 2024 15:58
Status Success
Total duration 3m 5s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in