2 Commits (a7cb7b84e1bdf42258e2f7f4108b6ae3690658ae)

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