Skip to content

Commit ec89d35

Browse files
committed
Move developers.txt to the devguide.
1 parent c0729bf commit ec89d35

2 files changed

Lines changed: 0 additions & 353 deletions

File tree

Misc/README

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ Files found here
99

1010
ACKS Acknowledgements
1111
build.sh Script to build and test latest Python from the repository
12-
developers.txt A history of who got developer permissions, and why
1312
gdbinit Handy stuff to put in your .gdbinit file, if you use gdb
1413
HISTORY News from previous releases -- oldest last
1514
indent.pro GNU indent profile approximating my C style

Misc/developers.txt

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

0 commit comments

Comments
 (0)