Dave Halter 7f288eb0b0 Add a nice and small profile script for Jedi.

2014-04-11 16:01:26 +02:00

1.5 KiB

Executable File

Raw Blame History

View Raw