Travis A. Everett 1fe03311b0 oil: remove obsolete readline workaround ... Looks like upstream issue was fixed via oilshell/oil#1514 (originally reported in oilshell/oil#1467).		2023-07-01 12:25:49 -05:00
..
default.nix	oil: remove obsolete readline workaround	2023-07-01 12:25:49 -05:00