diff scripts/docs-headings.py @ 5924:0cb43732260b

pullrequests: make it easier to see what needs attention on "my" list; list PRs needing attention separately
author Mads Kiilerich <madski@unity3d.com>
date Mon, 23 May 2016 18:02:33 +0200
parents ed2fb6e84a02
children 665dfa112f2c
line wrap: on
line diff