diff options
| author | Louie Shprung <lshprung@tutanota.com> | 2024-06-20 17:26:12 -0400 |
|---|---|---|
| committer | Louie Shprung <lshprung@tutanota.com> | 2024-06-20 17:26:12 -0400 |
| commit | 03699605e4ba3443ff3f1e34d2be9e70e152d42a (patch) | |
| tree | d8b6c3fa1500d08f6fa01729222b71a9e34de4ff /src/configs/flex | |
| parent | ccb4e88de762909f0c86e4199424da9989932e86 (diff) | |
Move index-terms.sh to shared scripts for GNU docsets
Diffstat (limited to 'src/configs/flex')
| m--------- | src/configs/flex | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/configs/flex b/src/configs/flex -Subproject 52d6db2cc8dcb3112dff4cae4bcddbdbfbc7afd +Subproject 27fe42030ff1fbf39820ea5673f19f822957096 |