16 Jul
2017
16 Jul
'17
1:12 p.m.
On Sun, Jul 16, 2017 at 12:26 PM, Jean Flamelle eaterjolly@gmail.com wrote:
I got this error trying to revert the change back "Error: Failed to revert commit 27584a06584f4942b6d24bda08511cedd3f867d3 'git revert --no-commit 27584a06584f4942b6d24bda08511cedd3f867d3' failed: "
yep you'll need to do it manually: i edited the page in the meantime. sorry.
Hm, the web editor uses a proportional-pitch font, so it's impossible to tell the number of spaces in a table to get alignment.
stuff it into a text editor with a fixed-width font.