diff options
| author | Robert Schilling <rschilling@student.tugraz.at> | 2014-08-23 12:52:04 +0400 |
|---|---|---|
| committer | Robert Schilling <rschilling@student.tugraz.at> | 2014-08-23 12:52:04 +0400 |
| commit | 33431c3e7d3f32c457ffb7e35a91ff874f5ba42d (patch) | |
| tree | 7c0f449fe5d6dc314e9fcedbf21f4ba678507915 /VERSION | |
| parent | 9900c5bf81f9edee3feaf8c1e8a77fa679c0f3fa (diff) | |
| parent | aef3a5bf417ba57fa361f05b0c632fddd7c51fa1 (diff) | |
Merge pull request #7585 from bbodenmiller/patch-11
clarify which configs should be updated
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions