Skip to content

Commit 1414556

Browse files
robhoesrobhoes
authored
Merge pull request #46 from edwintorok/deprecate
CP-37931: deprecate forkexecd repo (being moved into other toolstack repos)
2 parents 8d04135 + ec9e5ca commit 1414556

34 files changed

+4
-2067
lines changed

‎.gitarchive-info‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎.gitattributes‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.gitignore‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎.ocamlformat‎

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎.travis.yml‎

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎CREDITS‎

Lines changed: 0 additions & 17 deletions
This file was deleted.

‎ChangeLog‎

Lines changed: 0 additions & 12 deletions
This file was deleted.

‎INSTALL‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎LICENSE‎

Lines changed: 0 additions & 199 deletions
This file was deleted.

‎MAINTAINERS‎

Lines changed: 0 additions & 13 deletions
This file was deleted.

0 commit comments

Comments
 (0)