Automatically add file extensions

2026-02-10 16:01:32 +00:00 · 2011-11-29 10:39:12 -05:00
parent 344d1fec7b
commit 9378f2b2e4
3 changed files with 34 additions and 20 deletions
@@ -1,2 +1 @@
-* Add file extensions ourselves to push state
 * add feedback for errors to UI - esp. too long