summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-08-09 19:19:58 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-08-09 19:19:58 +0200
commit49366044d05b351706d132685d1862f37af57dff (patch)
tree03f5c21016888954edc929a3bb1db2152cbc6afb
parent0f604fbedb093ca0c83bc85a3b0fb3504224258a (diff)
Add a newfile to the end of files
Diffstat
-rw-r--r--cmd/mfmt/main.go1
-rw-r--r--data/mintages/ad2
-rw-r--r--data/mintages/at2
-rw-r--r--data/mintages/be2
-rw-r--r--data/mintages/cy2
-rw-r--r--data/mintages/de2
-rw-r--r--data/mintages/ee2
-rw-r--r--data/mintages/es2
-rw-r--r--data/mintages/fi2
-rw-r--r--data/mintages/fr2
-rw-r--r--data/mintages/gr2
-rw-r--r--data/mintages/hr2
-rw-r--r--data/mintages/ie2
-rw-r--r--data/mintages/it2
-rw-r--r--data/mintages/lt2
-rw-r--r--data/mintages/lu2
-rw-r--r--data/mintages/lv2
-rw-r--r--data/mintages/mc2
-rw-r--r--data/mintages/mt2
-rw-r--r--data/mintages/nl2
-rw-r--r--data/mintages/pt2
-rw-r--r--data/mintages/si2
-rw-r--r--data/mintages/sk2
-rw-r--r--data/mintages/sm2
-rw-r--r--data/mintages/va2
25 files changed, 25 insertions, 24 deletions
diff --git a/cmd/mfmt/main.go b/cmd/mfmt/main.go
index c0d2b92..2f204ab 100644
--- a/cmd/mfmt/main.go
+++ b/cmd/mfmt/main.go
@@ -64,6 +64,7 @@ func mfmt(path string, in io.Reader, out io.Writer) error {
fmt.Fprintln(out, "\n\nBEGIN PROOF")
formatSection(out, data.Proof)
}
+ fmt.Fprintln(out, "")
if outfile {
if off, err := f.Seek(0, io.SeekCurrent); err != nil {
diff --git a/data/mintages/ad b/data/mintages/ad
index 9171e11..a4a2135 100644
--- a/data/mintages/ad
+++ b/data/mintages/ad
@@ -25,4 +25,4 @@ BEGIN BU
10.500 10.500 10.500 10.500 10.500 10.500 10.500 10.500
BEGIN PROOF
-3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000 \ No newline at end of file
+3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000
diff --git a/data/mintages/at b/data/mintages/at
index de1957c..4dacaa6 100644
--- a/data/mintages/at
+++ b/data/mintages/at
@@ -25,4 +25,4 @@ BEGIN CIRC
BEGIN BU
? ? ? ? ? ? ? ?
-? ? ? 15.000 ? ? ? ? \ No newline at end of file
+? ? ? 15.000 ? ? ? ?
diff --git a/data/mintages/be b/data/mintages/be
index e21eb13..c7b480e 100644
--- a/data/mintages/be
+++ b/data/mintages/be
@@ -24,4 +24,4 @@ BEGIN CIRC
0 0 10.000.000 5.000.000 21.000.000 12.000.000 0 3.200.000
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
- 0 0 34.900.000 0 0 0 0 0 \ No newline at end of file
+ 0 0 34.900.000 0 0 0 0 0
diff --git a/data/mintages/cy b/data/mintages/cy
index 3466db6..ed66a49 100644
--- a/data/mintages/cy
+++ b/data/mintages/cy
@@ -15,4 +15,4 @@ BEGIN CIRC
11.095.000 9.095.000 8.095.000 5.595.000 6.095.000 1.395.000 95.000 1.395.000
8.000.000 8.400.000 7.500.000 1.700.000 4.300.000 1.500.000 100.000 3.300.000
9.150.000 12.600.000 7.950.000 4.440.000 4.800.000 1.920.000 1.575.000 3.000.000
- 9.905.000 9.755.000 8.855.000 4.805.000 5.165.000 1.925.000 1.730.000 3.755.000 \ No newline at end of file
+ 9.905.000 9.755.000 8.855.000 4.805.000 5.165.000 1.925.000 1.730.000 3.755.000
diff --git a/data/mintages/de b/data/mintages/de
index 3509f08..d00f7dc 100644
--- a/data/mintages/de
+++ b/data/mintages/de
@@ -110,4 +110,4 @@ A*: 28.800.000 18.000.000 9.000.000 18.400.000 11.000.000 12.000.000
D: 30.240.000 18.900.000 9.450.000 19.320.000 11.550.000 12.600.000 0 11.550.000
F: 34.560.000 21.600.000 10.800.000 22.080.000 13.200.000 14.400.000 0 13.200.000
G: 20.160.000 12.600.000 6.300.000 12.880.000 7.700.000 8.400.000 0 7.700.000
-J: 30.240.000 18.900.000 9.450.000 19.320.000 11.550.000 12.600.000 0 11.550.000 \ No newline at end of file
+J: 30.240.000 18.900.000 9.450.000 19.320.000 11.550.000 12.600.000 0 11.550.000
diff --git a/data/mintages/ee b/data/mintages/ee
index d8cb2f9..19f39dd 100644
--- a/data/mintages/ee
+++ b/data/mintages/ee
@@ -13,4 +13,4 @@ BEGIN CIRC
0 2.000.000 0 0 1.500.000 0 0 0
0 8.000.000 0 0 2.000.000 0 0 0
10.000.000 10.000.000 4.200.000 2.800.000 0 0 0 0
- 0 0 5.600.000 4.200.000 4.890.000 0 0 0 \ No newline at end of file
+ 0 0 5.600.000 4.200.000 4.890.000 0 0 0
diff --git a/data/mintages/es b/data/mintages/es
index 54dd444..b96dbc9 100644
--- a/data/mintages/es
+++ b/data/mintages/es
@@ -24,4 +24,4 @@ BEGIN CIRC
324.900.000 210.200.000 236.200.000 56.000.000 137.000.000 68.000.000 122.000.000 500.000
205.000.000 244.400.000 221.800.000 47.100.000 52.100.000 20.900.000 100.900.000 4.300.000
96.800.000 78.500.000 94.900.000 29.100.000 26.100.000 10.700.000 26.400.000 3.800.000
-152.000.000 108.900.000 94.300.000 10.800.000 17.500.000 3.900.000 3.000.000 1.000.000 \ No newline at end of file
+152.000.000 108.900.000 94.300.000 10.800.000 17.500.000 3.900.000 3.000.000 1.000.000
diff --git a/data/mintages/fi b/data/mintages/fi
index e159943..ec0b988 100644
--- a/data/mintages/fi
+++ b/data/mintages/fi
@@ -24,4 +24,4 @@ BEGIN CIRC
? ? 7.980.000 ? ? ? ? 5.970.000
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 0 \ No newline at end of file
+ 0 0 0 0 0 0 0 0
diff --git a/data/mintages/fr b/data/mintages/fr
index 52117e0..cbb5836 100644
--- a/data/mintages/fr
+++ b/data/mintages/fr
@@ -24,4 +24,4 @@ BEGIN CIRC
176.762.000 161.280.000 105.930.000 77.011.200 60.825.600 17.760.000 0 36.450.000
? ? ? ? ? ? 0 18.061.940
? ? ? ? ? ? 0 7.520.000
- ? ? ? ? ? ? 0 30.000.000 \ No newline at end of file
+ ? ? ? ? ? ? 0 30.000.000
diff --git a/data/mintages/gr b/data/mintages/gr
index 8dcef21..2da91ae 100644
--- a/data/mintages/gr
+++ b/data/mintages/gr
@@ -23,4 +23,4 @@ EFS: 15.000.000 18.000.000 90.000.000 100.000.000 120.000.000 70.000.000 50.0
50.000.000 43.000.000 13.000.000 40.000.000 32.000.000 7.000.000 0 0
22.000.000 25.000.000 16.000.000 0 8.000.000 5.000.000 0 0
6.000.000 23.000.000 24.000.000 0 6.000.000 0 0 0
- 22.000.000 17.000.000 13.000.000 28.000.000 39.000.000 19.000.000 10.000.000 5.000.000 \ No newline at end of file
+ 22.000.000 17.000.000 13.000.000 28.000.000 39.000.000 19.000.000 10.000.000 5.000.000
diff --git a/data/mintages/hr b/data/mintages/hr
index 7fcbf9b..2f237c7 100644
--- a/data/mintages/hr
+++ b/data/mintages/hr
@@ -1,4 +1,4 @@
BEGIN 2023
BEGIN CIRC
-72.000.000 63.000.000 40.000.000 80.000.000 50.000.000 45.000.000 40.000.000 30.000.000 \ No newline at end of file
+72.000.000 63.000.000 40.000.000 80.000.000 50.000.000 45.000.000 40.000.000 30.000.000
diff --git a/data/mintages/ie b/data/mintages/ie
index ac7b921..280661d 100644
--- a/data/mintages/ie
+++ b/data/mintages/ie
@@ -19,4 +19,4 @@ BEGIN CIRC
9.170 9.120 782.980 189.255 9.115 9.260 84.300 84.730
19.980 19.990 30.066.180 179.800 120.030 79.990 79.710 83.440
0 0 30.000.000 10.000.000 ? ? ? ?
- 10.100 10.221 44.992.107 10.296 85.100 85.100 70.000 86.500 \ No newline at end of file
+ 10.100 10.221 44.992.107 10.296 85.100 85.100 70.000 86.500
diff --git a/data/mintages/it b/data/mintages/it
index 54b4ebc..787dd7c 100644
--- a/data/mintages/it
+++ b/data/mintages/it
@@ -21,4 +21,4 @@ BEGIN CIRC
0 0 89.958.000 109.958.000 84.958.000 19.958.000 958.000 11.958.000
0 0 49.978.000 44.978.000 19.978.000 19.978.000 978.000 13.978.000
0 0 60.000.000 50.000.000 35.000.000 25.000.000 1.000.000 19.000.000
- 0 0 50.000.000 35.000.000 30.000.000 20.000.000 1.000.000 16.000.000 \ No newline at end of file
+ 0 0 50.000.000 35.000.000 30.000.000 20.000.000 1.000.000 16.000.000
diff --git a/data/mintages/lt b/data/mintages/lt
index 7d9c902..5221afd 100644
--- a/data/mintages/lt
+++ b/data/mintages/lt
@@ -9,4 +9,4 @@ BEGIN CIRC
0 0 0 0 0 0 0 5.000.000
0 0 3.000.000 3.000.000 0 0 0 5.000.000
0 0 2.000.000 0 0 0 0 0
- 0 0 8.000.000 5.000.000 0 0 0 0 \ No newline at end of file
+ 0 0 8.000.000 5.000.000 0 0 0 0
diff --git a/data/mintages/lu b/data/mintages/lu
index 2f547ed..9dd4805 100644
--- a/data/mintages/lu
+++ b/data/mintages/lu
@@ -23,4 +23,4 @@ BEGIN CIRC
50.000 50.000 3.050.000 50.000 3.050.000 50.000 50.000 50.000
50.000 50.000 3.050.000 2.050.000 1.050.000 50.000 50.000 50.000
KNM*: 6.250.000 8.150.000 5.950.000 5.150.000 6.376.400 3.032.800 50.000 6.250.000
-MdP: 0 0 0 1.200.000 900.000 0 0 1.400.000 \ No newline at end of file
+MdP: 0 0 0 1.200.000 900.000 0 0 1.400.000
diff --git a/data/mintages/lv b/data/mintages/lv
index 32da4bb..cd009c8 100644
--- a/data/mintages/lv
+++ b/data/mintages/lv
@@ -9,4 +9,4 @@ BEGIN CIRC
0 0 15.000.000 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 0 \ No newline at end of file
+ 0 0 0 0 0 0 0 0
diff --git a/data/mintages/mc b/data/mintages/mc
index 295d3fd..36e6302 100644
--- a/data/mintages/mc
+++ b/data/mintages/mc
@@ -23,4 +23,4 @@ BEGIN CIRC
0 0 0 0 0 0 1.087.017 1.000.000
0 0 0 0 0 0 1.167.728 1.035.000
0 0 0 0 0 0 1.180.912 1.050.000
- 0 0 0 0 0 0 1.256.833 1.000.000 \ No newline at end of file
+ 0 0 0 0 0 0 1.256.833 1.000.000
diff --git a/data/mintages/mt b/data/mintages/mt
index 11c0082..ce5029c 100644
--- a/data/mintages/mt
+++ b/data/mintages/mt
@@ -15,4 +15,4 @@ BEGIN CIRC
5.000.000 0 10.500.000 7.000.000 3.500.000 2.500.000 2.500.000 0
0 4.000.000 2.000.000 2.500.000 1.500.000 1.000.000 1.500.000 0
6.500.000 7.000.000 4.600.000 3.100.000 2.500.000 1.200.000 1.100.000 0
- 4.000.000 4.900.000 3.600.000 1.100.000 1.000.000 0 0 0 \ No newline at end of file
+ 4.000.000 4.900.000 3.600.000 1.100.000 1.000.000 0 0 0
diff --git a/data/mintages/nl b/data/mintages/nl
index d20f380..3f1c4cb 100644
--- a/data/mintages/nl
+++ b/data/mintages/nl
@@ -60,4 +60,4 @@ BEGIN PROOF
3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000
3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000
3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000
- 3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000 \ No newline at end of file
+ 3.000 3.000 3.000 3.000 3.000 3.000 3.000 3.000
diff --git a/data/mintages/pt b/data/mintages/pt
index ca1e982..7dcccf8 100644
--- a/data/mintages/pt
+++ b/data/mintages/pt
@@ -21,4 +21,4 @@ BEGIN CIRC
50.000.000 0 30.000.000 20.000.000 0 10.000.000 4.000.000 0
50.000.000 0 15.000.000 0 15.000.000 0 30.000.000 0
0 0 15.000.000 15.000.000 10.000.000 20.000.000 0 0
- 0 0 0 0 0 0 0 0 \ No newline at end of file
+ 0 0 0 0 0 0 0 0
diff --git a/data/mintages/si b/data/mintages/si
index 7d254f6..1afd887 100644
--- a/data/mintages/si
+++ b/data/mintages/si
@@ -17,4 +17,4 @@ BEGIN CIRC
14.000.000 11.000.000 0 0 0 0 0 4.000.000
13.000.000 7.000.000 7.000.000 0 0 4.000.000 0 0
9.000.000 5.000.000 4.000.000 13.000.000 5.000.000 0 0 3.000.000
- ? ? ? ? ? 0 0 ? \ No newline at end of file
+ ? ? ? ? ? 0 0 ?
diff --git a/data/mintages/sk b/data/mintages/sk
index 13b80a3..16d6bdc 100644
--- a/data/mintages/sk
+++ b/data/mintages/sk
@@ -15,4 +15,4 @@ BEGIN CIRC
57.700.000 25.100.000 16.500.000 12.100.000 0 0 0 3.000.000
14.650.000 7.316.000 6.300.000 4.000.000 0 0 1.425.000 0
0 0 10.500.000 2.100.000 0 0 0 3.000.000
- 0 0 3.000.000 3.000.000 0 0 0 2.300.000 \ No newline at end of file
+ 0 0 3.000.000 3.000.000 0 0 0 2.300.000
diff --git a/data/mintages/sm b/data/mintages/sm
index b5099bc..01b8ce5 100644
--- a/data/mintages/sm
+++ b/data/mintages/sm
@@ -22,4 +22,4 @@ BEGIN CIRC
0 0 0 0 0 600.000 500.000 621.257
0 0 0 0 200.000 200.000 400.000 785.355
0 0 0 0 62.000 800.000 818.000 450.366
- 0 0 0 0 478.680 160.000 600.000 600.000 \ No newline at end of file
+ 0 0 0 0 478.680 160.000 600.000 600.000
diff --git a/data/mintages/va b/data/mintages/va
index 478e7e5..0379fd2 100644
--- a/data/mintages/va
+++ b/data/mintages/va
@@ -20,4 +20,4 @@ BEGIN CIRC
0 0 0 0 0 2.147.169 0 0
0 0 0 0 0 2.157.248 0 0
0 0 0 0 0 1.821.540 0 0
-0 0 0 0 0 1.652.133 0 0 \ No newline at end of file
+0 0 0 0 0 1.652.133 0 0