Files
| Name | Last commit | Size |
|---|---|---|
| completions | 773a0676dc21 Add zsh completion for gsrb | 0 |
| functions | c928782e85e4 Remove dune stuff | 0 |
| kc.zsh | e9b11c37e82e Update kc script | 2483 |
| Name | Last commit | Size |
|---|---|---|
| completions | 773a0676dc21 Add zsh completion for gsrb | 0 |
| functions | c928782e85e4 Remove dune stuff | 0 |
| kc.zsh | e9b11c37e82e Update kc script | 2483 |