Skip to content
Jump to bottom

Update indent #427

Merged
merged 2 commits into from
Jul 10, 2017
Merged

Update indent #427

merged 2 commits into from
Jul 10, 2017

Commits on Jul 10, 2017

  1. indent: be0ify

    @wwwutz
    wwwutz committed Jul 10, 2017
    Configuration menu
    Copy the full SHA
    f507820 View commit details
    Browse the repository at this point in the history

  2. indent: fix manpage creation 

    Now indent.1 get created. There is still a bug in the Makefile logic,
but removing the target ( 0 byte file in tar ) quick fixes it.

Signed-off-by: Peter Marquardt <wwwutz@molgen.mpg.de>
    @wwwutz
    wwwutz committed Jul 10, 2017
    Configuration menu
    Copy the full SHA
    225f87d View commit details
    Browse the repository at this point in the history