2 lines (2 loc) · 200 Bytes

autogen repository

This repository holds all documents and output that are automatically generated by other scripts and GitHub actions. Manual edits will most likely be overwritten by said scripts.