Make jet-error-buffer-name
buffer-name customizable. #8
#32
Job | Run time |
---|---|
15m 17s | |
22m 36s | |
22m 28s | |
22m 14s | |
53s | |
50s | |
3m 10s | |
6h 0m 17s | |
4m 46s | |
13m 23s | |
6h 0m 0s | |
38s | |
13h 46m 32s |
jet-error-buffer-name
buffer-name customizable. #8
#32
Job | Run time |
---|---|
15m 17s | |
22m 36s | |
22m 28s | |
22m 14s | |
53s | |
50s | |
3m 10s | |
6h 0m 17s | |
4m 46s | |
13m 23s | |
6h 0m 0s | |
38s | |
13h 46m 32s |