Skip to content

Commit

Permalink
[TASK] Remove obsolete _make settings for documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
benjaminkott committed Jan 16, 2020
1 parent e904aa5 commit c7945bb
Show file tree
Hide file tree
Showing 9 changed files with 0 additions and 773 deletions.
69 changes: 0 additions & 69 deletions Documentation/_make/Defaults.cfg

This file was deleted.

150 changes: 0 additions & 150 deletions Documentation/_make/Makefile

This file was deleted.

44 changes: 0 additions & 44 deletions Documentation/_make/Overrides.cfg

This file was deleted.

41 changes: 0 additions & 41 deletions Documentation/_make/README.rst

This file was deleted.

7 changes: 0 additions & 7 deletions Documentation/_make/_not_versioned/.gitignore

This file was deleted.

7 changes: 0 additions & 7 deletions Documentation/_make/build/.gitignore

This file was deleted.

10 changes: 0 additions & 10 deletions Documentation/_make/buildsettings.sh

This file was deleted.

Loading

0 comments on commit c7945bb

Please sign in to comment.