Project

General

Profile

« Previous | Next » 

Revision c961d093

Added by nobu (Nobuyoshi Nakada) 5 months ago

[Bug #21024] header has been useless

And finally deprecated at C++-17.
Patched by jprokop (Jarek Prokop).