diff options
| author | Norbert Preining <norbert@preining.info> | 2019-10-02 12:33:27 +0900 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2019-10-02 12:33:50 +0900 |
| commit | 42d23ac5aebb2ff46917ba7f80226c121c4ccba8 (patch) | |
| tree | a480c706ab489cac34d05b34f597fc550d18dc32 /Build/source/texk/dviljk/Makefile.in | |
| parent | a81740dbc6000c7523cee4b164a1a410535be3d1 (diff) | |
allow updating revision when catalogue data changeddev/versioned-containers
Diffstat (limited to 'Build/source/texk/dviljk/Makefile.in')
0 files changed, 0 insertions, 0 deletions