Add difftool option to tesh to help updating tesh files

[simgrid.git] / examples / msg / tracing / platform.xml

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
<platform version="3">

  <include file="tracing/platform-as.xml"/>

</platform>