about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-06-06T16·52+0200
committerEelco Dolstra <edolstra@gmail.com>2017-06-06T16·52+0200
commitc8cc50d46e78de7ae02c2cb7a5159e995c993f61 (patch)
treeb420c2082efacdfa359696db1d5a8034b25d5283 /doc/manual
parent85e93d7b874f99730387714394bb60407cf138d5 (diff)
Disable the build user mechanism on all platforms except Linux and OS X
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions