void editExternal(InsetExternalParams const & params, Buffer const & buffer)
{
- formats.edit(buffer, params.filename,
- formats.getFormatFromFile(params.filename));
+ formats.edit(buffer, params.filename,
+ formats.getFormatFromFile(params.filename));
}