style: pre-commit formatting issues resolved
This commit is contained in:
1 parent
3d3990f3b5
commit
32712a20a8
3 files changed
+4
-2
No files matched your search
@@ -36,3 +36,5 @@ repos:
|
||||
rev: 5.0.4
|
||||
hooks:
|
||||
- id: flake8
|
||||
|
||||
exclude: ^docs/javascripts/
|
||||
@@ -28,7 +28,7 @@ $('#apiIframe').on('load', function() {
|
||||
});
|
||||
|
||||
// reloads the window with the content when a user navigates over the browser's history
|
||||
function locationHashChanged() {
|
||||
function locationHashChanged() {
|
||||
window.location.reload();
|
||||
}
|
||||
window.onhashchange = locationHashChanged;
|
||||
|
||||
@@ -14,7 +14,7 @@ jegp_add_standardese_sources(
|
||||
LIBRARIES intro quantities
|
||||
EXTENSIONS macros_extensions
|
||||
CHECKED TRUE
|
||||
# PDF PATH "mp-units.pdf" #[[EXCLUDE_FROM_MAIN]]
|
||||
# PDF PATH "mp-units.pdf" #[[EXCLUDE_FROM_MAIN]]
|
||||
HTML PATH "mp-units.html" #[[EXCLUDE_FROM_MAIN]]
|
||||
SECTION_FILE_STYLE "WithExtension"
|
||||
LATEX_REGEX_REPLACE
|
||||
|
||||
Reference in new issue
Block a user