diff options
author | Yuchen Pei <id@ypei.org> | 2023-07-10 22:10:59 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-07-10 22:10:59 +1000 |
commit | 071ba8408abf2d13c914a331c719779d7696d1dd (patch) | |
tree | d18cde559cec2773ccabde42c47506e197c08393 /.gitignore | |
parent | 8c151a133ffcc3bb1d4e8e23bc071d32785185c2 (diff) |
Fixing flymake complaints.
There are still some weird "Foo should be imperative" complaints, but
they do not seem to be important.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions