9 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	6b3a2b2b4d	Merge branch 'develop' into feature/documentation	2019-05-12 20:15:31 +03:00
Peter Dimov	a083667a96	Apply corrections from #10. Closes #10.	2019-05-12 19:19:55 +03:00
Peter Dimov	cacd99d69d	Update documentation	2019-05-12 18:43:56 +03:00
Peter Dimov	6390b5ed20	Update html	2019-05-12 02:02:58 +03:00
Peter Dimov	5011dd8e1c	Update html	2019-05-12 00:13:38 +03:00
Peter Dimov	c8ebfd0481	Update html	2019-05-11 21:06:44 +03:00
Peter Dimov	2e8ae0c796	Specify the exception safety of emplace in more detail	2019-03-30 20:26:13 +02:00
Peter Dimov	6d7be90ce0	Document the exception safety of emplace	2019-03-25 16:35:27 +02:00
Peter Dimov	8a7cc12716	Add html/	2019-02-22 19:19:36 +02:00