diff options
| author | Riyad Preukschas <riyad@informatik.uni-bremen.de> | 2013-01-07 19:19:50 +0100 |
|---|---|---|
| committer | Riyad Preukschas <riyad@informatik.uni-bremen.de> | 2013-01-07 21:20:20 +0100 |
| commit | b7314a1687cf67bc8b74f652e44d9b0cb92d4826 (patch) | |
| tree | 3057c8693d15d7730f0cc105bf8c423bab091e23 /doc/code/js/navigation.js | |
| parent | 11e28aff7db8498dc08165717b476a7b0a34533f (diff) | |
| download | gitlab-ce-b7314a1687cf67bc8b74f652e44d9b0cb92d4826.tar.gz | |
Fix bug in OS detection in check task
Diffstat (limited to 'doc/code/js/navigation.js')
0 files changed, 0 insertions, 0 deletions