2019-08-28 | John Soo | gnu: Add cedille. |
commit | commitdiff | tree |
2019-08-28 | John Soo | gnu: agda-ial: Fix install step. |
commit | commitdiff | tree |
2019-08-27 | John Soo | gnu: Add agda-ial. |
commit | commitdiff | tree |
2019-08-22 | John Soo | services: console-fonts: Update docstring. |
commit | commitdiff | tree |