Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #193 from Takishipp/signals
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 30 Jun 2017 20:38:10 +0000 (22:38 +0200)
committerGitHub <noreply@github.com>
Fri, 30 Jun 2017 20:38:10 +0000 (22:38 +0200)
commitd5b29830df70e823202e384a7655e4371193ecd7
treeb38710cb00de54f6c64d0274520f8e261739e4d6
parentd7d6455c7504278fee7eb60f643e9f3bf0fefe9c
parent57588c3696134c233df4059f48b4188310805d83
Merge pull request #193 from Takishipp/signals

get sg_instr_new_router through a signal
src/instr/instr_paje_types.cpp
src/surf/sg_platf.cpp
src/surf/xml/platf_private.hpp