f6fac6c4bc
Fix bin/publish: use correct .env path for rspade_system Fix bin/publish script: prevent grep exit code 1 from terminating script 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
11 lines
172 B
TypeScript
Executable File
11 lines
172 B
TypeScript
Executable File
declare const _: {
|
|
name: 'Agda'
|
|
type: 'programming'
|
|
aceMode: 'text'
|
|
extensions: ['.agda']
|
|
languageId: 12
|
|
tmScope: 'source.agda'
|
|
color: '#315665'
|
|
}
|
|
export = _
|