Apportati miglioramenti al devcontainer 🚀
Features
- Introdotto un nuovo sistema di requiremetns. Ora è possibile specificare tutti i pacchetti LaTex aggiuntivi in un file
requirements.txt. Questi verranno automaticamente installati dopo che il container sarà buildato.
Fixes
- Risolti alcuni problemi nel file
devcontainer.jsonche riguardava key obsolete.