Merge build identification to default branch.

This commit is contained in:
Georg Brandl 2011-03-06 10:26:32 +01:00
commit fe09a54280
8 changed files with 659 additions and 495 deletions

1077
configure vendored

File diff suppressed because it is too large Load diff