Merge commit 'd15c536123a44362ace6299c391a492c90b83fc7'
authorMichael Niedermayer <michaelni@gmx.at>
Wed, 12 Mar 2014 22:02:56 +0000 (23:02 +0100)
committerMichael Niedermayer <michaelni@gmx.at>
Wed, 12 Mar 2014 22:02:56 +0000 (23:02 +0100)
commit835f41376da1250a68a7d8c90fe3dc4049051fad
treea1217b0e3ce89218d870df213ce6fe362a10822d
parente5920425b02b0feaf45971bf1c8b8abc541f5ae1
parentd15c536123a44362ace6299c391a492c90b83fc7
Merge commit 'd15c536123a44362ace6299c391a492c90b83fc7'

* commit 'd15c536123a44362ace6299c391a492c90b83fc7':
  doc: Point to the correct, actually maintained gas-preprocessor repo

Conflicts:
doc/platform.texi

Merged-by: Michael Niedermayer <michaelni@gmx.at>
doc/platform.texi