Closed pitipatw closed 1 year ago
I commented those lines out.
I merged master into this. You will need to do git pull
from your local branch before you push other changes to this PR.
I merged master into this. You will need to do
git pull
from your local branch before you push other changes to this PR.
You mean pull the master branch to my local branch then create a new PR from the branch?
No just pull from the pw/explaintrussjson
branch on GitHub (which I modified) to your local pw/explaintrussjson
branch (to sync them) before you make further changes locally and then push them to the GitHub branch which will update this PR.
If that doesn't make sense, we can discuss it on a call.
Close since the doc is included in https://github.com/JuliaTopOpt/TopOpt.jl/pull/152/commits/c01a05e11554a82d14df99aa47a716fc28002146 as a part of #152 .
Summary
A short summary of the changes in this PR.
Highlights:
What type of change is this?
Checklist
] test
).