-
Juliusz Chroboczek authored
This doesn't matter for regular Babel, but it breaks the babel-local-interface branch, which uses a TCP socket for communicating with the GUI.
00ee044b
This doesn't matter for regular Babel, but it breaks the babel-local-interface branch, which uses a TCP socket for communicating with the GUI.