# 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 ""
 |
index : euandre.org | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |