blob: 90e5a955147f05e38156edfb67510aedf91f4c6a (
about) (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#
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 "layout: pastebin"
msgstr ""
msgid "lang: en"
msgstr ""
msgid "eu_categories: nix"
msgstr ""
#~ msgid ""
#~ "title: Nix string padding\n"
#~ "date: 2018-07-13\n"
#~ "layout: pastebin\n"
#~ "lang: en"
#~ msgstr ""
|