Guillermo Prandi c48c37ad09 Use REPO_EXTENSIONS_LIST_INCLUDE instead of REPO_EXTENSIONS_LIST_EXCLUDE and have a more flexible extension pattern		2019-08-06 02:51:42 -03:00
..
doc	Use REPO_EXTENSIONS_LIST_INCLUDE instead of REPO_EXTENSIONS_LIST_EXCLUDE and have a more flexible extension pattern	2019-08-06 02:51:42 -03:00
page	Copyedit docs (#6275)	2019-03-09 16:15:45 -05:00