Apply suggestion to extraction/.gitignore

3 jobs for julien@ast-printer in 9 minutes and 29 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #501906212
coq

00:08:40

passed #501906209
coq:8.8

00:07:51

passed #501906211
coq:8.9

00:09:29