Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make extra_ an unique_ptr.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 2 Apr 2019 12:37:37 +0000 (14:37 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 2 Apr 2019 14:48:59 +0000 (16:48 +0200)
commitc274830f7472317a7f2bcd3438a63824bd404efb
treeca0b0bf7a904f721f9eef2acbba2d6ba78183c33
parent79d9a0eadea4d00dbf2de0c19f6a8c0451f40e34
Make extra_ an unique_ptr.
src/instr/instr_paje_events.cpp
src/instr/instr_paje_events.hpp