4 Commits

Author	SHA1	Message	Date
Eeshan Garg	bb34ba37b5	tools: Rename build_pygments_data.py -> build_pygments_data. ... Dropping the file extension (.py) conforms to our naming convention for such scripts.	2017-09-26 16:00:41 -07:00
Tim Abbott	4da9e77096	docs: Expand documentation of provisioning. ... Fixes #2668.	2017-09-22 11:23:17 -07:00
Tim Abbott	b1f4c7308e	docs: Fix a broken link in new documentation.	2017-09-22 11:23:17 -07:00
Tim Abbott	876fd95486	docs: Document how our dependencies are managed. ... Fixes #5481.	2017-09-22 11:09:58 -07:00