search

programming-formalisms / programming_formalisms_project_summer_2024

Learners' project of the Programming Formalisms course of summer 2024
GNU General Public License v3.0
0 stars 0 forks source link

[ALL] Remove or merge old branches #20

Open richelbilderbeek opened 2 months ago

richelbilderbeek commented 2 months ago

Currently, we have a lot of branches. This is OK, as we used these to practice.

However, it is looking needlessly sloppy.

To solve this, either delete your branch or merge it to develop/main.