View source: R/change_extension.r
Changes a file's extension
1  | change_extension(old, new, file)
 | 
old | 
 character. old extension  | 
new | 
 character. new extension  | 
file | 
 character. full path of the file to change extension  | 
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.