julia
RFC: Add support for determining name of script
#14114

Merged

RFC: Add support for determining name of script #14114

stevengj merged 1 commit into JuliaLang:master from omus:filename

tkelman reviewed on 2015-11-24

stevengj reviewed on 2015-11-25

omus force pushed from 8d86da85 to 9315f9b4 10 years ago

tkelman reviewed on 2015-12-03

omus force pushed from 9315f9b4 to af0b73e0 10 years ago

omus changed the title ~~Add support for determining name of script~~ RFC: Add support for determining name of script 10 years ago

omus force pushed from af0b73e0 to 3fd548d0 10 years ago

tkelman reviewed on 2015-12-04

omus force pushed from 3fd548d0 to 406c6a1f 10 years ago

omus force pushed from 406c6a1f to 9ac75c62 10 years ago

omus force pushed from 9ac75c62 to 1e753383 10 years ago

omus force pushed from 1e753383 to 125c9b7b 10 years ago

Add support for determining name of script #14109

ffb3458e

omus force pushed from 125c9b7b to ffb3458e 10 years ago

stevengj merged b2104563 into master 10 years ago

omus deleted the filename branch 10 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone