#
msgid ""
msgstr ""

msgid ""
"title: Nix string padding\n"
"date: 2018-07-13\n"
"layout: pastebin\n"
"lang: en"
msgstr ""

msgid "padString = (n: if n < 10 then \"0\" + toString n else toString n)\n"
msgstr ""