Zulip Chat Archive
Stream: general
Topic: lean-glob-posix
Serhii Khoma (srghma) (May 26 2025 at 08:30):
I did https://github.com/srghma/lean-glob-posix, but didnt know that it doesnt go inside of dirs, so now will try to port https://github.com/Deewiant/glob
Notification Bot (May 26 2025 at 13:47):
This topic was moved here from #announce > lean-glob-posix by Johan Commelin.
Johan Commelin (May 26 2025 at 13:48):
@Serhii Khoma (srghma) I moved your thread here. #announce is for announcements (eg conferences/events etc).
Last updated: Dec 20 2025 at 21:32 UTC