Skip to content

Activity

Showing most recent first

Deleted branch

Arsenic-ATGdeleted vterm • 
on Dec 2, 2024

new package: vterm

Pull request merge
Arsenic-ATGpushed 1 commit to master • f6f3093…4192a11 • 
on Dec 2, 2024

new package: vterm

Arsenic-ATGcreated vterm • 922854e • 
on Dec 2, 2024

syntax: remove default checker globally

Arsenic-ATGpushed 1 commit to master • 1c5b24d…f6f3093 • 
on Dec 1, 2024

Deleted branch

Arsenic-ATGdeleted dired-patch • 
on Nov 30, 2024

dired: Remove dired-single

Pull request merge
Arsenic-ATGpushed 1 commit to master • 080f1af…1c5b24d • 
on Nov 30, 2024

dired: Remove dired-single

Arsenic-ATGcreated dired-patch • 202e3b2 • 
on Nov 30, 2024

Deleted branch

Arsenic-ATGdeleted linux_patch • 
on Nov 30, 2024

Fix: minor bugs found during linux installation

Pull request merge
Arsenic-ATGpushed 1 commit to master • e8c392d…080f1af • 
on Nov 30, 2024

Fix: minor bugs found during linux installation

Arsenic-ATGcreated linux_patch • 444da29 • 
on Nov 30, 2024

Deleted branch

Arsenic-ATGdeleted xwidget_linum • 
on Jul 9, 2023

Fix: disable line number mode on xwidget-webkit-mode

Pull request merge
Arsenic-ATGpushed 1 commit to master • 03e0030…e8c392d • 
on Jul 9, 2023

Fix: disable line number mode on xwidget-webkit-mode

Arsenic-ATGcreated xwidget_linum • 876f3a5 • 
on Jul 9, 2023

Deleted branch

Arsenic-ATGdeleted formatting_patches • 
on Jul 4, 2023

chore: fix some formatting issues and add some docs

Pull request merge
Arsenic-ATGpushed 1 commit to master • e77fff9…03e0030 • 
on Jul 4, 2023

chore: fix some formatting issues and add some docs

Arsenic-ATGcreated formatting_patches • 1110a26 • 
on Jul 4, 2023

Deleted branch

Arsenic-ATGdeleted dumb_jmp • 
on May 18, 2023

new package: dumb jump

Pull request merge
Arsenic-ATGpushed 1 commit to master • 745c323…e77fff9 • 
on May 18, 2023

new package: dumb jump

Arsenic-ATGcreated dumb_jmp • f97da2b • 
on May 18, 2023

Deleted branch

Arsenic-ATGdeleted ediff • 
on May 2, 2023

temp: disable golden ratio mode

Pull request merge
Arsenic-ATGpushed 1 commit to master • 9acf96f…745c323 • 
on May 2, 2023

temp: disable golden ratio mode

Arsenic-ATGcreated ediff • a11f125 • 
on May 2, 2023

Deleted branch

Arsenic-ATGdeleted patch_arsenic • 
on May 2, 2023

web-mode: disable auto indentation

Pull request merge
Arsenic-ATGpushed 1 commit to master • f43f188…9acf96f • 
on May 2, 2023

web-mode: disable auto indentation

Arsenic-ATGcreated patch_arsenic • 6ee04cf • 
on Apr 26, 2023

Deleted branch

Arsenic-ATGdeleted ggtags_removal • 
on Mar 28, 2023

cc: remove ggtags package

Pull request merge
Arsenic-ATGpushed 1 commit to master • a7976ea…f43f188 • 
on Mar 28, 2023

cc: remove ggtags package

Arsenic-ATGcreated ggtags_removal • 7a0e564 • 
on Mar 22, 2023