Pierre-Marie de Rodat 2ffad60f98 Transition uses of the Python pipes module to shlex ...

"pipes" was removed from Python 3.13.

2024-12-04 13:34:05 +00:00

..

inline_playground.py

Make has_spark_mode_on and is_subject_to_proof available on any node.

2024-03-11 11:15:08 +00:00

source.py

Reorganize the source tree

2020-11-02 16:51:46 +01:00

stylechecks.py

Enable style checks for Lkt code and fix existing issues

2024-10-09 09:19:05 +00:00

unicode_utils.py

Fix a few typos in documentation

2023-01-03 09:03:25 +00:00

utils.py

Transition uses of the Python pipes module to shlex

2024-12-04 13:34:05 +00:00