4 Commits

Include renames

Author	SHA1	Message	Date
Victor Zverovich	b123129f4e	Dump the content of html dir	2020-11-07 08:42:13 -08:00
Victor Zverovich	9f0617cbfb	Fix branch ref	2020-11-07 08:04:01 -08:00
Victor Zverovich	dfbb6975b3	Remove travis config	2020-11-07 07:38:20 -08:00
Victor Zverovich	5b3052f999	Switch doc build to github actions	2020-11-07 07:31:15 -08:00