Summary
- Some minor cleaning up. (details)
- jQuery: upgraded to version 3.3.1 (#1524). (details)
- Slight update to our third-party libraries page (#1524). (details)
The file was modified | doc/developer/thirdPartyLibraries.html (diff) |
The file was modified | doc/3rdparty/jQuery/jquery.js (diff) |
The file was modified | doc/developer/thirdPartyLibraries.html (diff) |