Cleanup the repository #136
Closed
stephanbcbauer
started this conversation in
General
Replies: 2 comments 1 reply
-
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Since we discussed this already: please go ahead and delete these files, unless @paullatzelsperger has different plans. |
Beta Was this translation helpful? Give feedback.
-
|
It has been done via PR #220 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
The repository contains three files:
The purpose was to describe and use them for the tutorial in another repository. Since we already included the information, the files (as separate files) are not needed any more.
The idea would be to delete them, or include the information in the readme
Beta Was this translation helpful? Give feedback.
All reactions