tuhdo.github.io icon indicating copy to clipboard operation
tuhdo.github.io copied to clipboard

Published 20 hours ago • verified publisher icon tuhdo

c-ide.org edits re: install and preparation

Open Boruch-Baum opened this issue 9 years ago • 2 comments

  • Sync org file file html file.

  • Remove text that misled me to think that no further customization of the demo package was necessary in order for it to function as described in the guide.

  • Correct dependency ambiguity about helm and helm-gtags.

  • Move a few paragraphs from section 'Source code navigation' to section 'Quick setup'.

  • Describe what tags are BEFORE beginning to use them.

  • Edits to section describing tag creation

Boruch-Baum avatar Dec 05 '16 13:12 Boruch-Baum

Thanks. I will have a look this weekend.

tuhdo avatar Dec 06 '16 14:12 tuhdo

I just took a second look at this thread, and realize that I'm doing something wrong in my github usage. My pull request was for the single commit bb0a83b. What seems to be happening is that git/github is updating the pull request whenever I make a subsequent commit, adding those later commits. Those later commits are valuable IMO, but they are for different purposes.

Boruch-Baum avatar Dec 07 '16 04:12 Boruch-Baum