On Sun, Jul 16, 2017 at 2:12 PM, Luke Kenneth Casson Leighton lkcl@lkcl.net wrote:
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.
... or... get the previous version, work out what i did, go the previous-previous version, restore that (manually) then hand-add what i added...
ah y'know what? sod it - i have access to git: i'll do it :)
l.