diff options
| author | zimoun <zimon.toutoune@gmail.com> | 2022-02-23 14:47:12 +0100 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-02-24 12:20:33 +0200 |
| commit | 2cd8254961ed09751b6add2c63571198d82e4468 (patch) | |
| tree | 504384ee34466b3e3722884f223affd06380056b /gnu/packages/patches/webkitgtk-bind-all-fonts.patch | |
| parent | e54c5b29afe7415b38341f25c7804105c92b1d28 (diff) | |
gnu: julia-fixedpointnumbers: Delete trailing #t.
* gnu/packages/julia-xyz.scm (julia-fixedpointnumbers): Delete trailing #t.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/patches/webkitgtk-bind-all-fonts.patch')
0 files changed, 0 insertions, 0 deletions