7495c10a2d
maj deps php8.2
56548917f2
cosmetic
710d4c0785
ajout de merge2php82.sh
25de8a573d
modifs.mineures sans commentaires
876873d8fc
modifs.mineures sans commentaires
1cd546cdd8
maj deps php8.2
3958b8f11d
modifs.mineures sans commentaires
71cceabcfb
réintégrer nulib/app et nulib/tools
eab8bb674e
maj deps
6b57f1c376
maj projet
adff709371
maj deps
3a72fab355
maj deps php8.2
850609ef08
déplacer nulib/tools dans nur/sery/tools