Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Rename figure
- Loading branch information
2dc4130
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Centralized Version Control Systems
Please look into this...
You renamed the file but forgets to change the image src
2dc4130
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
(sigh) This was supposed to be fixed in #505, but apparently there's a deployment problem. It's changed in the source.
2dc4130
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ben What can we do to force the update on the web server?
2dc4130
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If there is a problem with the cache, we can clear the cache and then refresh the page...