Skip to content

Update outdated javascript headers #trivial#1281

Closed
rnystrom wants to merge 1 commit into
masterfrom
js-headers
Closed

Update outdated javascript headers #trivial#1281
rnystrom wants to merge 1 commit into
masterfrom
js-headers

Conversation

@rnystrom
Copy link
Copy Markdown
Contributor

Leftovers from MIT migration and one file missing license.

Copy link
Copy Markdown
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@rnystrom is landing this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@rnystrom rnystrom deleted the js-headers branch November 26, 2018 21:13
TimOliver pushed a commit that referenced this pull request Dec 10, 2025
Summary:
Leftovers from MIT migration and one file missing license.
Pull Request resolved: #1281

Differential Revision: D13198570

Pulled By: rnystrom

fbshipit-source-id: dd55209d54344fa3252c9efc8ca47dd0b6c1832f
TimOliver pushed a commit that referenced this pull request Dec 10, 2025
Summary:
Leftovers from MIT migration and one file missing license.
Pull Request resolved: #1281

Differential Revision: D13198570

Pulled By: rnystrom

fbshipit-source-id: dd55209d54344fa3252c9efc8ca47dd0b6c1832f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants