2 commits

Author	SHA1	Message	Date
Aathish Sivasubrahmanian	353dfdc403	Add a way to pass a custom browser if wanted. (#343) ... You can now use `python make_and_open_docs.py <browser>` to open the docs in <browser>	2020-08-25 11:03:09 -04:00
kolibril13	7db6e6a7c0	generalized the script for all users	2020-08-15 15:55:07 +02:00