diff docs/make.bat @ 4406:980691743559

pull requests: use name of branch of tip instead of tip - it is a confusing and moving target
author Mads Kiilerich <madski@unity3d.com>
date Thu, 24 Jul 2014 12:41:55 +0200
parents e73a69cb98dc
children e285bb7abb28
line wrap: on
line diff