kreyren/Zernit
1
0
Fork 0
Code Issues 129 Pull Requests Releases Activity

indentation #34

New Issue
Open
opened 2020-02-03 08:14:01 +01:00 by Kreyren · 1 comment
Kreyren commented 2020-02-03 08:14:01 +01:00 (Migrated from github.com)
Copy Link
Copy Source

We need to adapt the project for various methods of indentation so that contributors feels comfortable using it's preferred indentation.

This can be implemented through makefile assuming that end-user sets variable for GNU indent flags which is then going to be used to format the project

Possible issues

Bash/shell is not supported on windows so parsing makefiles might be inefficient.

We need to adapt the project for various methods of indentation so that contributors feels comfortable using it's preferred indentation. This can be implemented through makefile assuming that end-user sets variable for [GNU indent](https://www.gnu.org/software/indent/) flags which is then going to be used to format the project ### Possible issues Bash/shell is not supported on windows so parsing makefiles might be inefficient.
github-actions[bot] commented 2020-05-11 02:02:16 +02:00 (Migrated from github.com)
Copy Link
Copy Source

Stale issue message

Stale issue message
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
kreyren (Jacob Hrbek)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: kreyren/Zernit#34
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?