New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove line about @author tag in assignments #206

Merged

clarksmr merged 1 commit into cs3110:main from anshumanmohan:patch-7

Feb 18, 2025

Contributor

anshumanmohan commented Feb 13, 2025

The page about Documentation contains the line:

For example, in the first line of most programming assignments, we ask you to complete a comment like this:

(** @author Your Name (your netid) *)

This PR removes that line for the following reasons:

It is no longer true in Cornell's CS 3110. We now ask for an AUTHORS.md file.
A reference to "most programming assignments" makes the textbook feel too tied down to Cornell's CS 3110, while in fact the textbook is used by several others.


          Remove line about @author tag in assignments

ef7dd99

clarksmr merged commit 2ef7d49 into cs3110:main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet