Update resource.json

pull/73/head
guhur 4 years ago committed by GitHub
parent a0d7a1fa4e
commit af3e16c657

@ -65,6 +65,6 @@
"Grades": "Grades",
"Voters' list": "Voters' list",
"Graph": "Graph",
"Preference profile": "Preference profile",
"Preference profile": "Merit profile",
"Results of the election:": "Results of the election:"
}

Loading…
Cancel
Save