Method writeStringProperty

gfanlib/gfanlib_polymakefile.cpp:467–473

void PolymakeFile::writeStringProperty(const char *p, const string &s)
{
  if(isXml)
    writeProperty(p,s);
  else
    writeProperty(p,s);
}
}