aparler/RosettaCodeData
1
0
Fork 0
Code Issues 12 Pull requests 3 Projects Releases Packages Wiki Activity Actions
RosettaCodeData/Lang/Lean/Hello-world-Standard-error
Ingy döt Net 74c69a0df6 Data update
2023-12-16 21:33:55 -08:00

Symbolic link
1 line
No EOL
42 B
Text
Follow symlink Raw Permalink Blame History

../../Task/Hello-world-Standard-error/Lean
Reference in a new issue View git blame Copy permalink