diff options
| author | fpi | 2020-07-14 11:18:52 +0200 |
|---|---|---|
| committer | fpi | 2020-07-14 16:47:21 +0200 |
| commit | bbe9ac6ad57ee8225f1310af620d6fea8ed1d919 (patch) | |
| tree | a3fddc696ff5feb11647a5ffc31030ba5bfe2321 /.gitignore | |
| parent | Update variable name (diff) | |
Fix biblio mode map key binding
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions