summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon HO2024-03-29 15:48:38 +0100
committerGitHub2024-03-29 15:48:38 +0100
commitbfcec191f68a4cbfab14f5b92a8d6a46d6b02539 (patch)
tree16fbb3e144a437346ac03e9a7313a96c9c4bd913 /tests/lean/External
parent65f7deb0043949049129c6a8e490d151b555fa16 (diff)
parent884dcc071b0a62fc1634e692107c6af80aa7d352 (diff)
Merge pull request #94 from RaitoBezarius/nix
nix: some improvements with first installation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions