Changes between Version 15 and Version 16 of dev


Ignore:
Timestamp:
Jul 3, 2012, 9:59:14 PM (9 years ago)
Author:
sam
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • dev

    v15 v16  
    99
    1010 * [wiki:dev/notes/mistakes mistakes to remember]
     11
     12How to set up build machines:
     13 * [wiki:dev/setup/windows-builder on Windows]
    1114
    1215== Platform-specific pages ==