diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-07-11 20:43:32 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-07-11 20:43:32 +0100 |
| commit | f6822be73a5c0ca8e5f7af99b2827a14c9f5403e (patch) | |
| tree | 30f0bd222fd92da2b1e66c443618edcbfa77bb7a /gcc | |
| parent | a90fe12c80a13ffed9d5c775703788275d8b7c42 (diff) | |
| download | gcc-f6822be73a5c0ca8e5f7af99b2827a14c9f5403e.zip gcc-f6822be73a5c0ca8e5f7af99b2827a14c9f5403e.tar.gz gcc-f6822be73a5c0ca8e5f7af99b2827a14c9f5403e.tar.bz2 | |
Improve docs for --enable-libstdcxx-time=rt
* doc/xml/manual/configure.xml: Improve documentation of
--enable-libstdcxx-time option.
From-SVN: r273421
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions