Ugly Alpha 1
agda-mode:0.0.1

total uncompressed bytes

36.4 KB

total files

7

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", ], has_build_script: false, }

1 wasted files

total waste: 82 B

  1. .gitignore : 82 B