This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

Dev #4

Merged

jaapdejong15 merged 1 commit into master from dev

May 11, 2023

Member

jaapdejong15 commented Mar 6, 2023 •

edited

Loading

Changes;

Small bugfix that caused a part of the exports not to work


          Fix missing comma in exports

3ce29d8

jaapdejong15 changed the title ~~Dev branch merge~~ Dev

jaapdejong15 marked this pull request as ready for review

March 15, 2023 15:19

jaapdejong15 requested a review from THinnerichs

April 14, 2023 06:20

sebdumancic approved these changes

View reviewed changes

jaapdejong15 merged commit a0f8efe into master

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet