devtools/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-04-10 11:34:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix typos

Browse Source
This commit is contained in:
Mike Taves
2024-08-02 00:06:24 +00:00
committed by Charles Schlosser
parent fd98cc49f1
commit c593e9e948
26 changed files with 38 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/eigen_navtree_hacks.js
View File

@@ -360,7 +360,7 @@ $(document).ready(function() {
(function (){ // wait until the first "selected" element has been created
try {
// this line will triger an exception if there is no #selected element, i.e., before the tree structure is
// this line will trigger an exception if there is no #selected element, i.e., before the tree structure is
// complete.
document.getElementById("selected").className = "item selected";