diff options
author | Allen Byrne <50328838+byrnHDF@users.noreply.github.com> | 2022-03-30 01:52:31 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-30 01:52:31 (GMT) |
commit | a9cd3c6cfb1dd40072962d07d892f3a882928414 (patch) | |
tree | ce45ec57b9bfc4a3b65b1d0c155a7cbaf90ced42 /doxygen/hdf5_navtree_hacks.js | |
parent | e5481d6d9aaa62c098dacba15380e267309aff59 (diff) | |
download | hdf5-a9cd3c6cfb1dd40072962d07d892f3a882928414.zip hdf5-a9cd3c6cfb1dd40072962d07d892f3a882928414.tar.gz hdf5-a9cd3c6cfb1dd40072962d07d892f3a882928414.tar.bz2 |
1.12 Merge doxygen changes from develop (#1542)
Diffstat (limited to 'doxygen/hdf5_navtree_hacks.js')
-rw-r--r-- | doxygen/hdf5_navtree_hacks.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doxygen/hdf5_navtree_hacks.js b/doxygen/hdf5_navtree_hacks.js index 942970c..dda8984 100644 --- a/doxygen/hdf5_navtree_hacks.js +++ b/doxygen/hdf5_navtree_hacks.js @@ -223,7 +223,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 complete. + // 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"; // ok, the default tree has been created, we can keep going... |