diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-10-12 06:32:25 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-12 06:32:25 -0500 |
commit | 0f816804405238796284e6bf483a909fa7997ccf (patch) | |
tree | fe53947850444a21a25f4f1884c1608a84594ee7 /pkgs/top-level | |
parent | 89f961c40410319dcb1d0700cef1bc0ac2e51053 (diff) | |
parent | 2336543338d1df3861b1d6b06364ae12b0fcf0e3 (diff) |
Merge pull request #100130 from suhr/julia-mono
julia-mono: init at 0.018
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a56ed5cab4cf..78dd13023808 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19105,6 +19105,8 @@ in junicode = callPackage ../data/fonts/junicode { }; + julia-mono = callPackage ../data/fonts/julia-mono { }; + kanji-stroke-order-font = callPackage ../data/fonts/kanji-stroke-order-font {}; kawkab-mono-font = callPackage ../data/fonts/kawkab-mono {}; |