Week 38 - 2023

Week 38 - 2023¶

Done¶

• Z3 binding stuff
• Released Puro 1.3.6
• Puro: 7zip support
• Puro: Global dotfile tracking
• Puro: Renaming projects
• Puro: Fixed IntelliJ bug

TODO¶