functions generally improved and made packagelike, quicktexregapollo added... (!1) · Merge requests · dj44vuri / choiceTools

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

dj44vuri requested to merge devel into main Jun 03, 2024

functions generally improved and made packagelike, quicktexregapollo added different se display, tests added

Admin message

functions generally improved and made packagelike, quicktexregapollo added...

Merge request reports