Matthias Mailänder
|
e4b96c9101
|
use the new orabot account
|
2014-08-09 19:22:42 +02:00 |
|
Matthias Mailänder
|
32be7df07c
|
bring back the automatic wiki update
closes #5900
|
2014-08-09 14:12:35 +02:00 |
|
Matthias Mailänder
|
521ca70254
|
set the git user and email to avoid problems
|
2014-06-16 10:30:14 +02:00 |
|
Matthias Mailänder
|
6928a828e8
|
pushd and popd is safer here to not confuse Travis
|
2014-06-16 09:34:17 +02:00 |
|
Paul Chote
|
af83a1b341
|
Update lua docs when packaging a new build.
|
2014-05-02 22:18:35 +12:00 |
|
Matthias Mailänder
|
da127f24d3
|
separate wiki update script
|
2013-04-06 09:54:04 +02:00 |
|