tree 97225ec5a9cbe5354da5bc8354c71ac9c7efa66a
parent 1256ca04c2064f2ef05625ff93a7954642af84a1
author Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt> 1744789117 +0100
committer Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt> 1744789117 +0100

code format checker: fix python error when the diff becomes empty