diff options
Diffstat (limited to 'maketgz')
-rwxr-xr-x | maketgz | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -154,9 +154,6 @@ touch src/tool_hugehelp.c ############################################################################ # -# Update the IDE files -echo "make vc-ide" -make -s vc-ide echo "produce CHANGES" git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./scripts/log2changes.pl > CHANGES.dist |