Wed, 12 Jun 2024 19:41:22 UTC | login

Information for file jedi-init.el

Namejedi-init.el
Digest (sha256)ac2a5caa3073ec2e633c7f1b556cee86d95e85883f25fdeb7d7fbf10a2e1dad4
Size3.91 KB
Modification timeWed, 24 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMemacs-jedi-0.3.0-0.9.20210503gite942a0e.fc40.src.rpm