diff options
| author | Foo Chuan Wei <chuanwei.foo@hotmail.com> | 2022-05-25 01:44:59 +0000 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-29 02:00:10 +0200 |
| commit | 62da327848311a75723f16642c20d2925919237e (patch) | |
| tree | cadae04b728e88fc5e1d891b0c5751e1366a9650 /gnu/packages/mail.scm | |
| parent | ed15c921395bebbe0b385ab41b1381b6ab23a42d (diff) | |
| download | guix-patches-62da327848311a75723f16642c20d2925919237e.tar guix-patches-62da327848311a75723f16642c20d2925919237e.tar.gz | |
gnu: smlnj: Fix use of Ctrl-c in sml REPL.
* gnu/packages/sml.scm (smlnj): Replace INVOKE with SYSTEM which has
more favourable signal dispositions.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to 'gnu/packages/mail.scm')
0 files changed, 0 insertions, 0 deletions