diff options
| author | michelou <michelou@epfl.ch> | 2005-03-10 09:24:30 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-03-10 09:24:30 +0000 |
| commit | b52ba308913f45306a054ed4cff861d1d209d1be (patch) | |
| tree | 7d602f0451205e438e6f04eee4aaf6604e6517c1 /support/jedit | |
| parent | ca46e0cc9789b601816447767c37ee87642c221d (diff) | |
| download | scala-b52ba308913f45306a054ed4cff861d1d209d1be.tar.gz scala-b52ba308913f45306a054ed4cff861d1d209d1be.tar.bz2 scala-b52ba308913f45306a054ed4cff861d1d209d1be.zip | |
- added workaround for \spacefactor problem (se...
- added workaround for \spacefactor problem (see comment in tex source).
Diffstat (limited to 'support/jedit')
0 files changed, 0 insertions, 0 deletions