[Jenkins]Jenkins
log in | sign up

Changes

Summary

  1. Slight update to our downloads page (#1314). (details)
  2. Some minor cleaning up [ci skip]. (details)
Commit 925e609e633fb6ba79f9707c2c9ef8d2ca4328d6 by noreply
Slight update to our downloads page (#1314).
The file was modified doc/downloads/index.js (diff)
Commit d0c43228f95f72f4961c5a71655a7439221c848f by noreply
Some minor cleaning up [ci skip].
The file was modified cmake/common.cmake (diff)