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.

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

update Mailing list #881

Merged
merged 2 commits into from Nov 15, 2017

Conversation

Projects
None yet
4 participants
@kohlhase
Contributor

kohlhase commented Oct 23, 2017

it has moved,

@dginev

This comment has been minimized.

Collaborator

dginev commented Nov 15, 2017

Wow, just saw this PR and realized I sent my last list email to the wrong location... explains why it bounced!

@brucemiller

This comment has been minimized.

Owner

brucemiller commented Nov 15, 2017

2 questions: Is "auto" an ignorable file I should know about, or some special .gitignore directive?

And I had the impression that "kwarc" (and the domain) was moving to erlangen, and services moved servers but not url's... Not complaining, just curious why the change.

@kohlhase

This comment has been minimized.

Contributor

kohlhase commented Nov 15, 2017

@tkw1536

This comment has been minimized.

Contributor

tkw1536 commented Nov 15, 2017

when I run LaTeX from emacs, it makes a directory "auto" with *.el files in it, and it bothers me seeing those, feel free to revert this change.

Since this is editor specific, and not every LaTeXML contributor uses emacs, it sounds like something that belongs in a global gitignore.

@brucemiller

This comment has been minimized.

Owner

brucemiller commented Nov 15, 2017

LaTeXML contributors that don't use emacs should generally keep quiet about it.

@dginev

This comment has been minimized.

Collaborator

dginev commented Nov 15, 2017

LaTeXML contributors that don't use emacs should generally keep quiet about it.

😶

@brucemiller brucemiller merged commit 5003470 into brucemiller:master Nov 15, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
@brucemiller

This comment has been minimized.

Owner

brucemiller commented Nov 15, 2017

Thanks!

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