Open davidak opened 3 years ago
Closes #122
You can apply it with: patch -p0 < c.patch
patch -p0 < c.patch
There are smaller patches possible, but i think this is OK for now.
diff
git diff
Feel free to improve in an additional PR!
Closes #122
You can apply it with:
patch -p0 < c.patch
There are smaller patches possible, but i think this is OK for now.
diff
instead ofgit diff
Feel free to improve in an additional PR!