#include "support/convert.h"
#include "support/debug.h"
#include "support/gettext.h"
#include "support/convert.h"
#include "support/debug.h"
#include "support/gettext.h"
Encoding const * const ascii = encodings.fromLyXName("ascii");
pair<bool, int> const c = switchEncoding(os, bparams,
runparams, *ascii);
Encoding const * const ascii = encodings.fromLyXName("ascii");
pair<bool, int> const c = switchEncoding(os, bparams,
runparams, *ascii);