diff options
Diffstat (limited to 'devel/universalindentgui/files/patch-gnuindent')
| -rw-r--r-- | devel/universalindentgui/files/patch-gnuindent | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/universalindentgui/files/patch-gnuindent b/devel/universalindentgui/files/patch-gnuindent new file mode 100644 index 000000000000..e3dcb17da924 --- /dev/null +++ b/devel/universalindentgui/files/patch-gnuindent @@ -0,0 +1,12 @@ +--- indenters/uigui_gnuindent.ini.orig ++++ indenters/uigui_gnuindent.ini +@@ -3,7 +3,7 @@ + cfgFileParameterEnding=cr + configFilename=.indent.pro + fileTypes=*.c|*.h +-indenterFileName=indent ++indenterFileName=gindent + indenterName=GNU Indent (C) + inputFileName=indentinput + inputFileParameter= + |