3 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	8c11c71e56	Document source_location	2019-11-25 03:57:06 +02:00
Peter Dimov	719ec039a2	Remove javascript that tried to integrate the Boost banner, as it didn't work	2017-06-16 19:35:29 +03:00
Peter Dimov	6d21e073bb	Move style, script tags to a docinfo footer	2017-06-11 00:33:37 +03:00