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