if (!i)
i = str.length_i();
String word = str.left_str (i);
- str = str.mid_str (i, str.length_i());
+ str = str.cut (i, str.length_i());
output_wrapped (word);
}
return *this;
*os_p_ << filename_str_g;
*os_p_ << "\n\n";
// ugh
- *os_p_ << "\\version \"0.1.6\";\n";
+ *os_p_ << "\\version \"0.1.9\";\n";
}
void