Forks · Protesilaos Stavrou / modus-themes · GitLab

52 forks: 51 public, 0 internal, and 1 private

View temp scan ecoscan-13234158-deletion_scheduled-87246318 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-87246318

Acknowledge Behnam Khanbeigi for commit c1dc6e93

Marked For Deletion At - Oct 5, 2026

Scheduled Deletion At - Nov 4, 2026

Pending deletion 0

Updated Oct 05, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Oct 05, 2026
View temp scan ecoscan-13234158-deletion_scheduled-87193159 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-87193159

Disable the themes, then load THEME

Marked For Deletion At - Oct 3, 2026

Scheduled Deletion At - Nov 2, 2026

Pending deletion 0

Updated Oct 03, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Oct 03, 2026
View temp scan ecoscan-13234158-deletion_scheduled-87117015 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-87117015

Disable the themes, then load THEME

Marked For Deletion At - Oct 1, 2026

Scheduled Deletion At - Oct 31, 2026

Pending deletion 0

Updated Oct 01, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Oct 01, 2026
View temp scan ecoscan-13234158-deletion_scheduled-87071668 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-87071668

Disable the themes, then load THEME

Marked For Deletion At - Sep 30, 2026

Scheduled Deletion At - Oct 30, 2026

Pending deletion 0

Updated Sep 30, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 30, 2026
View temp scan ecoscan-13234158-deletion_scheduled-87026574 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-87026574

Disable the themes, then load THEME

Marked For Deletion At - Sep 29, 2026

Scheduled Deletion At - Oct 29, 2026

Pending deletion 0

Updated Sep 29, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 29, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86980991 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86980991

Disable the themes, then load THEME

Marked For Deletion At - Sep 28, 2026

Scheduled Deletion At - Oct 28, 2026

Pending deletion 0

Updated Sep 28, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 28, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86949748 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86949748

Disable the themes, then load THEME

Marked For Deletion At - Sep 27, 2026

Scheduled Deletion At - Oct 27, 2026

Pending deletion 0

Updated Sep 27, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 27, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86926816 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86926816

Disable the themes, then load THEME

Marked For Deletion At - Sep 26, 2026

Scheduled Deletion At - Oct 26, 2026

Pending deletion 0

Updated Sep 26, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 26, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86891827 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86891827

Disable the themes, then load THEME

Marked For Deletion At - Sep 25, 2026

Scheduled Deletion At - Oct 25, 2026

Pending deletion 0

Updated Sep 25, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 25, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86849278 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86849278

Disable the themes, then load THEME

Marked For Deletion At - Sep 24, 2026

Scheduled Deletion At - Oct 24, 2026

Pending deletion 0

Updated Sep 24, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 24, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86800392 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86800392

Disable the themes, then load THEME

Marked For Deletion At - Sep 23, 2026

Scheduled Deletion At - Oct 23, 2026

Pending deletion 0

Updated Sep 23, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 23, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86753597 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86753597

Disable the themes, then load THEME

Marked For Deletion At - Sep 22, 2026

Scheduled Deletion At - Oct 22, 2026

Pending deletion 0

Updated Sep 22, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 22, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86707268 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86707268

Disable the themes, then load THEME

Marked For Deletion At - Sep 21, 2026

Scheduled Deletion At - Oct 21, 2026

Pending deletion 0

Updated Sep 21, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 21, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86675749 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86675749

Add support for Magit merge conflict headings

Marked For Deletion At - Sep 20, 2026

Scheduled Deletion At - Oct 20, 2026

Pending deletion 0

Updated Sep 20, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 20, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86653486 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86653486

Add support for Magit merge conflict headings

Marked For Deletion At - Sep 19, 2026

Scheduled Deletion At - Oct 19, 2026

Pending deletion 0

Updated Sep 19, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 19, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86576605 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86576605

Mention proof-general as a supported package

Marked For Deletion At - Sep 17, 2026

Scheduled Deletion At - Oct 17, 2026

Pending deletion 0

Updated Sep 17, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 17, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86533539 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86533539

Mention proof-general as a supported package

Marked For Deletion At - Sep 16, 2026

Scheduled Deletion At - Oct 16, 2026

Pending deletion 0

Updated Sep 16, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 16, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86487840 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86487840

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 15, 2026

Scheduled Deletion At - Oct 15, 2026

Pending deletion 0

Updated Sep 15, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 15, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86446755 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86446755

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 14, 2026

Scheduled Deletion At - Oct 14, 2026

Pending deletion 0

Updated Sep 14, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 14, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86411435 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86411435

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 13, 2026

Scheduled Deletion At - Oct 13, 2026

Pending deletion 0

Updated Sep 13, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 13, 2026

1
2
3