comparison dot_gitignore @ 338:890fe7d01f19

Use toggleterm as more robust terminal integration
author zegervdv <zegervdv@me.com>
date Fri, 22 Jan 2021 21:58:01 +0100
parents d726921aaabe
children bd41aac927e6
comparison
equal deleted inserted replaced
337:e89bdbc1a2dd 338:890fe7d01f19