2 Commits (9f8633f7cd013241d3d679df483e518e0111bc5b)

Author	SHA1	Message	Date
Johan Girod	1e02bca6ec	chore: update to publicodes 1.0-rfc.1	2023-12-20 19:12:52 +01:00
Johan Girod	42ea5b593e	Doc et clean	2023-09-29 18:32:40 +02:00