diff options
author | Alexander Ried <ried@mytum.de> | 2016-10-19 16:03:53 +0200 |
---|---|---|
committer | Alexander Ried <ried@mytum.de> | 2016-10-19 16:03:53 +0200 |
commit | c935e8eeaf3ef5f49f66468ba551fd016fd76aa0 (patch) | |
tree | 82f738d0f167e84b01adf33ee0e92ad7167aae63 /doc/manual/manual.xml | |
parent | b05b98df7544d02387f583ca5434f33f3e9cb471 (diff) |
fixup! replace own regex class with std::regex
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions