On 02/13/2014 10:40 AM, John Colvin wrote:

It would be nice if in the online sandbox the window width could be
changed.
https://github.com/MartinNowak/drepl/issues/23

Reply via email to