davidbgk/Pull-Down-for-Navigation — comment on commit 33e331847fa84dc64263d2da0a4ec943cc2e3af5
File:  line 0
By julienw:

ça doit être possible d'enlever toute la partie "module" du début qui sert à rien, et d'inclure le résultant tel quel dans ton script.