Did you know ... | Search Documentation: |
![]() | GIT commit info |
author | Jan Wielemaker |
---|---|
Thu May 25 14:05:15 2023 +0200 | |
committer | Jan Wielemaker |
Thu May 25 14:05:15 2023 +0200 | |
commit | c4871d54b3a2291b93634918c793c5e124347579 |
tree | 12a87d4a30412997e187a4d40dabb81f4e26e3ae |
parent | 16c9b4488766ca2b75c4703e4c561c758ce5b1d6 |
Publications.txt => Publications.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)