Revision a14491f35e3e3cd59330b9b708b7a92527b4fc42 authored by Dmitri Naumov on 17 September 2021, 12:00:36 UTC, committed by Dmitri Naumov on 22 September 2021, 09:20:29 UTC
The latter relies on local information of element types and number of nodes, not the global numbering of nodes.
1 parent 8b5e1bf
File | Mode | Size |
---|---|---|
_redirects | -rw-r--r-- | 244 bytes |
append-xml-tags.py | -rwxr-xr-x | 5.4 KB |
check-project-params.py | -rwxr-xr-x | 7.7 KB |
create-docu-file-stubs.sh | -rwxr-xr-x | 2.3 KB |
generate-project-file-doc-qa.sh | -rw-r--r-- | 1.4 KB |
get-project-params.sh | -rwxr-xr-x | 1.0 KB |
linked-xml-file.py | -rwxr-xr-x | 10.8 KB |
normalize-param-cache.py | -rwxr-xr-x | 7.4 KB |
print23.py | -rw-r--r-- | 212 bytes |
Computing file changes ...