diff .hgignore @ 155:4fd8bbc7d841 FlipDisplay

Do hard sync after communication timeout > 1 second
author Ideenmodellierer
date Sun, 03 Mar 2019 17:46:50 +0100
parents a7683f9765da
children
line wrap: on
line diff