Script to list and count plugins used in this session
authorRobin Gareus <robin@gareus.org>
Wed, 20 Feb 2019 15:47:51 +0000 (16:47 +0100)
committerRobin Gareus <robin@gareus.org>
Wed, 20 Feb 2019 15:47:51 +0000 (16:47 +0100)
commitdd2ee68e21709d193c724c11bea83533ce4f1b0a
tree22cf733fdf43a9bc1f222deccdd81e0f8a9997a5
parent69322ccd1b5b1c7e9633672bb84c2258300f3133
Script to list and count plugins used in this session
scripts/_dump_plugins.lua [deleted file]
scripts/dump_plugins.lua [new file with mode: 0644]