diff options
| author | Aleksana <me@aleksana.moe> | 2024-05-18 01:31:26 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-18 01:31:26 +0800 |
| commit | 5f9ea7a0d9274020a0af6920ee142acee8d5fbda (patch) | |
| tree | 109add96ba3cb1be57b95ae9573e2513e3dd4c32 /pkgs/tools/misc/dtool | |
| parent | 7d58f29771e1dc88a773a830b1cfeb1aefbb641e (diff) | |
| parent | 20edaf9a4790256add37b38ba4329b158dd138c8 (diff) | |
Merge pull request #311859 from linsui/jabref
jabref: 5.12 -> 5.13
Diffstat (limited to 'pkgs/tools/misc/dtool')
0 files changed, 0 insertions, 0 deletions