publist

commit 6d78fe9baa40a7ce3f0c842bb9b3555a5ec7e64d
parent 706a57869420fb759e8d6390467a1f6686c405ed
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 10 May 2023 14:40:18 +0200

rm one

Diffstat:
publis
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publis b/publis
@@ -506,7 +506,7 @@ Authors: me mikael pierre
 Url: https://arxiv.org/abs/1703.03201
 Venue: pods2017
 Reviewed: yes
-Main: yes
+Main: no
 Slides: https://mikael-monet.net/slides/amarilli2017conjunctive.pdf
 SlidesAuthor: mikael
 Poster: https://mikael-monet.net/posters/amarilli2017conjunctive.pdf