Closed anarthal closed 9 months ago
This should fix the Boost docs formatting problems. Tested locally with a fixed-width header, like the Boost one. I can't test locally with the exact header, so we might have to double check whether this fixed the problem correctly tomorrow.
close #158
This should fix the Boost docs formatting problems. Tested locally with a fixed-width header, like the Boost one. I can't test locally with the exact header, so we might have to double check whether this fixed the problem correctly tomorrow.
close #158