Skip to content
This repository has been archived by the owner on Jan 2, 2023. It is now read-only.

misc: restructure folder hierarchy #15

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

Wodann
Copy link
Contributor

@Wodann Wodann commented Sep 26, 2021

This PR will break CI, as it assumes presence of built libraries within the same repository.

This is in preparation for moving the runtime-cpp inside the main mun repository.

@Wodann Wodann requested a review from baszalmstra September 26, 2021 19:15
@Wodann Wodann self-assigned this Sep 26, 2021
@baszalmstra
Copy link
Contributor

So should we merge this or not?

@Wodann
Copy link
Contributor Author

Wodann commented Oct 2, 2021

So should we merge this or not?

I mostly wanted to add this PR and code to the repo for historic purposes when we archive. My inclination would be yes.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants