Closed jerlich closed 1 year ago
document the include_definitions option
include_definitions
Thank you for opening a Pull Request at PlutoUI.jl!
Note that your code will be Unlicensed when added to PlutoUI.jl, not MIT licensed like contributions to Pluto.jl. Take a look at our license: https://github.com/fonsp/PlutoUI.jl/blob/main/LICENSE
Open Julia and type:
julia> import Pkg julia> Pkg.activate(temp=true) julia> Pkg.add(url="https://github.com/jerlich/PlutoUI.jl", rev="patch-1") julia> using PlutoUI
Or run this code in your browser:
Thank you!!
document the
include_definitions
optionThank you for opening a Pull Request at PlutoUI.jl!
Before contributing code
Note that your code will be Unlicensed when added to PlutoUI.jl, not MIT licensed like contributions to Pluto.jl. Take a look at our license: https://github.com/fonsp/PlutoUI.jl/blob/main/LICENSE