7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
10 lines
321 B
Text
10 lines
321 B
Text
<BOLD>diff --git a/pre b/post<RESET>
|
|
<BOLD>index 87f0d0b..d308da2 100644<RESET>
|
|
<BOLD>--- a/pre<RESET>
|
|
<BOLD>+++ b/post<RESET>
|
|
<CYAN>@@ -1,5 +1,5 @@<RESET>
|
|
print *, "Hello World<RED>!<RESET><GREEN>?<RESET>"
|
|
|
|
DO10I = 1,10<RESET>
|
|
<RED>DO10I<RESET><GREEN>DO 10 I<RESET> = 1,10
|
|
<RED>DO10I<RESET><GREEN>DO 1 0 I<RESET> = 1,10
|