[Jenkins]Jenkins
log in | sign up

Changes

Summary

  1. Some minor cleaning up. (details)
  2. jQuery: upgraded to version 3.3.1 (#1524). (details)
  3. Slight update to our third-party libraries page (#1524). (details)
Commit 373d535c34ab6c4b2a8596a50176d5905572257f by Alan Garny
Some minor cleaning up.
The file was modified doc/developer/thirdPartyLibraries.html (diff)
Commit a198ca09e97eae1e5bdb30f37d8cd2fdf444e9e4 by Alan Garny
jQuery: upgraded to version 3.3.1 (#1524).
The file was modified doc/3rdparty/jQuery/jquery.js (diff)
Commit 0eb7ea94bf341177a6fd11018520a00b8ee7a785 by Alan Garny
Slight update to our third-party libraries page (#1524).
The file was modified doc/developer/thirdPartyLibraries.html (diff)