summaryrefslogtreecommitdiff
path: root/misc
Commit message (Expand)AuthorAgeFilesLines
* Coverity: Improve model for {,un}map_domain_page()Andrew Cooper2020-01-061-6/+16
* docs: consolidate release related documentsWei Liu2017-08-042-239/+0
* misc/release-checklist.txt: Try to avoid wrong-tag mistakesIan Jackson2017-04-121-4/+9
* misc/release-checklist.txt: Preemptive updatesIan Jackson2017-04-121-25/+18
* misc/branching-checklist: Call mg-branch-setup in Cambridge tooIan Jackson2017-03-211-0/+6
* misc/release-checklist: Split out branching-checklist.txtIan Jackson2017-03-212-95/+97
* misc/release-checklist: Remove pre-4.3 tarball target instructionsIan Jackson2017-03-211-34/+0
* misc/release-checklist: Remove clearly-obsolete stuffIan Jackson2017-03-211-64/+0
* misc/release-checklist: Import from xenbits:~xen/release-checklistIan Jackson2016-12-071-0/+331
* misc/coverity: Model __builtin_unreachable()Andrew Cooper2014-09-251-0/+10
* coverity: Store the modelling file in the source tree.Andrew Cooper2014-03-121-0/+131