11 events for the month beginning 2023-01-01 by user user
Following month ↑
2023-01-31
| ||
19:26 | Add 'mm' binding ALT with middle mouse button to write coordinates to the Misc value of MRU. check-in: 67716681cf user: user tags: trunk | |
02:29 | SHIFT+B in editor to fill only the border of the selection rectangle. check-in: 13bba11fed user: user tags: trunk | |
2023-01-16
| ||
07:36 | Correct a mistake in the GitHub Actions file. check-in: fbab309c65 user: user tags: trunk | |
07:34 | Add GitHub Actions file to auto assignment issues from GitHub. check-in: 7078901d62 user: user tags: trunk | |
07:32 | More documentation improvements, including README and some minor changes in other files. check-in: dd3e717a78 user: user tags: trunk | |
2023-01-14
| ||
22:39 | Documentation improvements (no code changes). check-in: caee27e331 user: user tags: trunk | |
2023-01-11
| ||
06:11 | Add .codepage.ignore option. check-in: 35acbca9ae user: user tags: trunk | |
2023-01-10
| ||
04:10 | Mention the GitHub mirror in the README file. check-in: 24de865454 user: user tags: trunk | |
2023-01-07
| ||
06:07 | Change har.c so that wildcards can be used. check-in: 28772e0e31 user: user tags: trunk | |
2023-01-02
| ||
20:42 | Update PORTING file (use of JavaScript codes in compiling). check-in: 13f860d88e user: user tags: trunk | |
2023-01-01
| ||
05:21 | Some improvements in PORTING file. check-in: 97e5146d26 user: user tags: trunk | |