subscription to these older lists is no longer permitted.
</p>
<hr />
-<h3 id="cross-compile">Using MinGW for Cross-Hosted Development</h3>
+<div class="overlapped" id="cross-compile">
+<h3>Using MinGW for Cross-Hosted Development</h3>
<p>While <strong>MinGW</strong> provides tools
primarily intended for use by developers working on the
MS‑Windows platform,
of MS‑Windows applications development,
common to the use of our own native tool chains
and to such cross‑compilers.
-</p>
+</p></div><!-- cross-compile -->
<!-- $RCSfile$: end of file -->