Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill a useless function, and rename another one
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 15 Jan 2023 23:47:52 +0000 (00:47 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 16 Jan 2023 07:46:08 +0000 (08:46 +0100)
commit6db71d12c7ea2f08e07c692bc67dde6748d5223f
tree7caa2a0b87ce00c387f9b019e00347deba9cc8de
parentc59fa1fcce83a7a3c956f7d2996afb5074f9d1d7
Kill a useless function, and rename another one
src/kernel/EngineImpl.cpp
src/surf/sg_platf.cpp
src/surf/xml/platf.hpp
src/surf/xml/surfxml_parseplatf.cpp