Skip to content

Commit 3d3b176

Browse files
author
Boris Djordjevic
committed
Remove ritalin archive from repo
1 parent c3292fb commit 3d3b176

6 files changed

Lines changed: 1 addition & 86 deletions

File tree

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ Cargo.lock.bak
55
/.ritalin/
66
/.task-incomplete
77
/.claude/
8+
/.ritalin-archive/

‎.ritalin-archive/.ritalin/evidence.jsonl‎

Lines changed: 0 additions & 60 deletions
This file was deleted.

‎.ritalin-archive/.ritalin/obligations.jsonl‎

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎.ritalin-archive/.ritalin/prove-all.sh‎

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎.ritalin-archive/.ritalin/scope.yaml‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎.ritalin-archive/.task-incomplete‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)