what 's the difference of prec_stl & stl?
Hi,
the headers from prec_stl/ are used when generating STL dictionaries, those from stl/ when interpreting STL.
Cheers, Axel.