Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Delete redundant blank lines at the start of a code blocks (CodeFactor).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 24 Mar 2023 13:54:41 +0000 (14:54 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 24 Mar 2023 15:29:50 +0000 (16:29 +0100)
commit5fdd462d52cd688ec709470cb45fd0ab5057203d
treeee48dd6af909de595ea87eadf1551ea0559a1bd7
parent77f20b4b16bd2e505b5010a63d02d6ec027eacdd
Delete redundant blank lines at the start of a code blocks (CodeFactor).
src/mc/api/State.cpp
src/mc/api/guide/BasicGuide.hpp
src/mc/explo/UdporChecker.cpp
src/mc/transition/TransitionComm.cpp