#
msgid ""
msgstr ""

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

msgid "title: Nix string padding"
msgstr ""

msgid "date: 2018-07-13"
msgstr ""

msgid "lang: en"
msgstr ""

msgid "eu_categories: nix"
msgstr ""

msgid "layout: post"
msgstr ""

msgid "ref: nix-string-padding"
msgstr ""

#~ msgid "layout: pastebin"
#~ msgstr ""

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