Skip to content
This repository has been archived by the owner on Jul 30, 2019. It is now read-only.

Editorial: initial comment in source file #1202

Merged
merged 1 commit into from
Feb 15, 2018

Conversation

chaals
Copy link
Collaborator

@chaals chaals commented Feb 9, 2018

Remove the ASCII-art version of the filename, and add useful information about the chapter

See also #1201

Remove the ASCII-art version of the filename, and add useful information about the chapter

See also #1201
@chaals chaals merged commit a8fb012 into master Feb 15, 2018
@chaals chaals deleted the chaals-introduction-comment-1201 branch February 28, 2018 18:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants