diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2015-10-16 11:11:31 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2015-10-16 11:11:31 +0100 |
| commit | e25f466c2bfedd2811919b4574c5a21bb68b448d (patch) | |
| tree | 772abb460a95f36088a75909d19e9c7efa9df140 /bin/id | |
| parent | 4aaf2757ae267ee335adba0546c08b59536199d1 (diff) | |
Add alias for backwards synctex search
Diffstat (limited to 'bin/id')
0 files changed, 0 insertions, 0 deletions