{"shas":[["5d20dc1b28a915285c262bf3c3a41099285453d9","73a00247322f8de0a41cb561518e2ffd3f3cbe85@free.fr","Use real terminal for pop-shell, use function to toggle between char and line mode","Sans Plomb 95"]],"ref":"refs/heads/master","size":1,"head":"5d20dc1b28a915285c262bf3c3a41099285453d9","push_id":39041437}