Commit ddb8f903 authored by Vincent Belaïche's avatar Vincent Belaïche

Restore blank line before next section, erroneously erased in my previous commit

* etc/compilation.txt (symbol ant): add an additional trailing blank line to this section, so that there are two of them immediately before the next section
parent 460c3576
......@@ -54,6 +54,7 @@ jikes are the ending line and ending column.
[jikes] blah blah
[javadoc] c:\MyProject\ error: unknown tag: math
* Bash v2
symbol: bash
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment