diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2024-02-26 22:08:08 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2024-02-26 22:08:08 +0000 |
| commit | 731c69fdf098049018f0ce66a89a09a22892142a (patch) | |
| tree | 5c266690d6b77aa2b458afddcff77d39406a2e75 /virtual-programs/programs.folk | |
| parent | Make folk0 resolution 4k (diff) | |
| download | folk-731c69fdf098049018f0ce66a89a09a22892142a.tar.gz folk-731c69fdf098049018f0ce66a89a09a22892142a.zip | |
Fix printing from editors
- Fix a bug where each editor could only print once because of
a mistaken use of /nobody/ in the print conditional
- Add a timestamp to the print commit
- Prevent printing the same code twice within a second
Diffstat (limited to 'virtual-programs/programs.folk')
0 files changed, 0 insertions, 0 deletions