diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 19:57:41 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 20:02:19 -0700 |
commit | c3d2579ad8d7eb33059aa8fdbaf5b564411a57f2 (patch) | |
tree | 1570cda0676fdcf4171a69a7fe313c1b89a52b0c /lib/help/def.aux | |
parent | 986b7742bf244b4073ecca0723615f70be8a1ab6 (diff) | |
parent | 4e9b9c402ed95bf9a17fd6d795bc49bb4128a6fa (diff) |
Merge branch 'upstream' into debian-cmake-fixes
Diffstat (limited to 'lib/help/def.aux')
-rw-r--r-- | lib/help/def.aux | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/help/def.aux b/lib/help/def.aux deleted file mode 100644 index 983e9683..00000000 --- a/lib/help/def.aux +++ /dev/null @@ -1,3 +0,0 @@ -file_ext="html" -link_prefix="" -link_suffix="" |