author | Patrick PIERRE |
mar., 17 avril 2018 22:42:32 +0200 (mar., 17 avril 2018 22:42:32 +0200) | |
changeset 456 | c6dad1c31935 |
parent 282 | 7890bee65275 |
permissions | -rw-r--r-- |
Patrick@282 | 1 |
publiset-mode |
Patrick@282 | 2 |
publidoc-mode |
Patrick@282 | 3 |
publidoc-inline-mode |