diff options
author | Nico Weber <nicolasweber@gmx.de> | 2014-12-04 02:17:27 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2014-12-04 02:17:27 (GMT) |
commit | 1e4eb87c15118b3cc369e65a891ce290e727e7d8 (patch) | |
tree | 7cdd04704be569b42743ef15ecfc6ccd8e3444e6 /doc | |
parent | d2a79b2ac305ec6d3d7ccd1268bb830e7d092953 (diff) | |
parent | 8605b3daa6c68b29e4126e86193acdcfaf7cc2f1 (diff) | |
download | Ninja-1e4eb87c15118b3cc369e65a891ce290e727e7d8.zip Ninja-1e4eb87c15118b3cc369e65a891ce290e727e7d8.tar.gz Ninja-1e4eb87c15118b3cc369e65a891ce290e727e7d8.tar.bz2 |
Merge pull request #879 from nico/rev
Revert #223, fixes #874.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions