Marius Hein
|
e05ca449ae
|
Fix PSR compliance
Alter files to follow PSR standards.
refs #4246
|
2013-06-07 13:29:11 +02:00 |
|
Marius Hein
|
5df14b41e1
|
Merge branch 'feature/build-server-integration-4067'
Conflicts:
.gitignore
|
2013-06-04 11:40:20 +02:00 |
Jannis Moßhammer
|
d7bbf256b3
|
Add additional resources
refs #4212
|
2013-06-03 17:05:59 +02:00 |
|
Marius Hein
|
0592bff4ef
|
Build server
Add absolute directory for helper scripts
refs #4067
refs #4213
refs #4099
refs #4098
refs #4214
|
2013-06-03 15:13:42 +02:00 |
Johannes Meyer
|
420f407df4
|
Fix: Doc-runner uses wrong file extension.
Updated Doc-runner so that it converts files with
the md-extension instead of the txt-extension.
refs #4214
|
2013-06-03 11:40:42 +02:00 |
|
Johannes Meyer
|
3a90825f9e
|
Add runner to generate html documentation.
Implemented runner which translates each .txt
file located in doc/ to html by using markdown.
refs #4214
|
2013-06-03 11:29:57 +02:00 |