dickmao dd01c4578c reconnect kernel if necessary under org-ctrl-c-ctrl-c ... when `C-c C-c`, reconnect to kernel if it disconnected		2019-02-26 17:58:42 -05:00
..
ein-steps.el	reconnect kernel if necessary under org-ctrl-c-ctrl-c	2019-02-26 17:58:42 -05:00