glossary: add definition for overlay
authorThomas Gummerer <t.gummerer@gmail.com>
Sun, 17 Mar 2019 20:19:56 +0000 (20:19 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Mar 2019 04:02:26 +0000 (13:02 +0900)
commit7aba814...77b509367281eef9db9e19b2595c1dba
tree9fcadcd...789a75ed5c23293559cdb1fe1338e994copy hash to clipboard (tree)
parente92aa0e...ef5a91781530449f9466a45c16c91f7fcopy hash to clipboard (diff)
Documentation/glossary-content.txt