Menu

#60 Delegate the task of ensuring sane .texi line endings to git

None
closed
nobody
5
2017-10-16
2014-12-08
No

Allows to get rid of one build script and a little bit of manual work for windows users that use the system-provided text editor.

1 Attachments

Discussion

  • Jaime E. Villate

    • status: open --> closed
    • Group: -->
     
  • Jaime E. Villate

    Patch applied. Thank you for your contribution.

     
  • Jaime E. Villate

    • status: closed --> accepted
     
  • Robert Dodier

    Robert Dodier - 2017-10-16
    • labels: --> documentation
    • status: accepted --> closed
     
  • Robert Dodier

    Robert Dodier - 2017-10-16

    Closing this item since the patch was applied.

     

Log in to post a comment.