diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-22 13:38:25 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-22 13:44:20 +0100 |
commit | e2d5ae69f8e8d7dfc8fccd6f50a62d2695985b3e (patch) | |
tree | e9f8ef7ff75cb8dda26f9965b9fdfefd62124020 /docs | |
parent | aadb675641d7035bbd078b478ebc000cc2f5297d (diff) | |
download | atk-e2d5ae69f8e8d7dfc8fccd6f50a62d2695985b3e.tar.gz |
docs: Remove empty overrides file
It's empty and unused, and gtk-doc will create it for us.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/atk-overrides.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/atk-overrides.txt b/docs/atk-overrides.txt deleted file mode 100644 index 4c88408..0000000 --- a/docs/atk-overrides.txt +++ /dev/null @@ -1,3 +0,0 @@ -# These are manually-edited to override or add declarations to those scanned -# from the header files. - |