|
.forgejo
|
actions: use fixed versions, code in SH files
|
2026-02-16 21:40:18 +01:00 |
|
.flake8
|
Satisfy both flake8 and pylint
|
2025-07-22 13:58:00 +02:00 |
|
.gitignore
|
ignore __pycache__
|
2025-07-23 21:30:02 +02:00 |
|
.pylintrc
|
FIX pylintrc new version
|
2026-01-25 22:51:32 +01:00 |
|
countries-ive-been-to.svg
|
Countries: Afrika
|
2015-05-09 12:38:32 +02:00 |
|
dates.xsl
|
XSL legacy versions can be transformed
|
2020-11-23 16:33:24 +01:00 |
|
deep_link.js
|
U: Outsourced scripts
|
2019-12-09 14:27:15 +01:00 |
|
entscripten.xsl
|
UT/XSLT: Transformationen per XSLT
|
2020-11-20 22:17:26 +01:00 |
|
fahrrad.svg
|
F Neue Kilometerstände
|
2024-11-21 10:15:35 +01:00 |
|
false-pole.html
|
FP Scripts in JS-Files
|
2020-11-20 22:06:20 +01:00 |
|
geplant.js
|
U: Outsourced scripts
|
2019-12-09 14:27:15 +01:00 |
|
GitVersion.py
|
Python git module satisfy flake and pylint
|
2025-07-22 23:29:29 +02:00 |
|
hstdetails.js
|
U: Outsourced scripts
|
2019-12-09 14:27:15 +01:00 |
|
kilometer.js
|
U Kilometrierungen: Headline, Legende
|
2021-04-24 14:31:08 +02:00 |
|
kreise.svg
|
U-Bahn: Umsortierung in Ebenen, Hilfslinien
|
2015-11-03 19:23:06 +01:00 |
|
math.js
|
FP Scripts in JS-Files
|
2020-11-20 22:06:20 +01:00 |
|
oldrev.py
|
FIX for pylint
|
2026-01-25 22:51:57 +01:00 |
|
overlay.js
|
T Streckennummern overlay
|
2020-10-30 21:07:47 +01:00 |
|
poles.js
|
FP Scripts in JS-Files
|
2020-11-20 22:06:20 +01:00 |
|
pretty.xsl
|
UT/XSLT: Transformationen per XSLT
|
2020-11-20 22:17:26 +01:00 |
|
query.js
|
T Streckennummern overlay
|
2020-10-30 21:07:47 +01:00 |
|
rev_translate
|
ADD oldrev: translate old revs to new filtered tree
|
2021-04-17 20:41:17 +02:00 |
|
selection.js
|
JS selection symmetric if shift+ctrl pressed
|
2019-12-11 12:21:42 +01:00 |
|
shapes.js
|
FALSE POLE: ©, explaination
|
2019-03-07 10:40:58 +01:00 |
|
strassenbahnnetz.svg
|
T DarkMode
|
2026-03-04 18:12:22 +01:00 |
|
ubahnnetz.svg
|
Merge pull request 'Kein Gleis 17 in Heddernheim mehr' (#4) from gleis17 into main
|
2026-03-04 18:12:50 +01:00 |
|
viewbox.js
|
U: Outsourced scripts
|
2019-12-09 14:27:15 +01:00 |
