From: Gabriel Corona Date: Tue, 23 Feb 2016 14:36:44 +0000 (+0100) Subject: [mc] Move remote_ptr in its own file X-Git-Tag: v3_13~726 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e00d6cb185bdcc30f0a380611c98d9a5baffbdb3?hp=e00d6cb185bdcc30f0a380611c98d9a5baffbdb3 [mc] Move remote_ptr in its own file ---