CodePlex
34 views
Skip to first unread message
Jaak Ristioja
Oct 1, 2015, 3:10:55 AM10/1/15
to TLA+ mailing list
Hello!
Are the any plans for moving {tlaps,tlaplus}.codeplex.com to GitHub or
similar? The CodePlex Terms of Use are awful for users (and visitors),
which is why I've restrained myself from registering an account to file
bugs.
Jaak Ristioja
Cybernetica AS
Are the any plans for moving {tlaps,tlaplus}.codeplex.com to GitHub or
similar? The CodePlex Terms of Use are awful for users (and visitors),
which is why I've restrained myself from registering an account to file
bugs.
Jaak Ristioja
Cybernetica AS
Reply all
Reply to author
Forward
0 new messages