diff options
Diffstat (limited to '')
| -rw-r--r-- | _pastebins/2018-07-13-nix-string-padding.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/_pastebins/2018-07-13-nix-string-padding.md b/_pastebins/2018-07-13-nix-string-padding.md index 8de9048..7119a7d 100644 --- a/_pastebins/2018-07-13-nix-string-padding.md +++ b/_pastebins/2018-07-13-nix-string-padding.md @@ -1,8 +1,15 @@ --- + title: Nix string padding + date: 2018-07-13 + layout: pastebin + lang: en + +eu_categories: nix + --- ```nix |