This repository was archived by the owner on Dec 28, 2019. It is now read-only.
Respect and restore user settings for 'wrap'#28
Open
grota wants to merge 1 commit intomikewest:masterfrom
grota:restore_wrap
Open
Respect and restore user settings for 'wrap'#28grota wants to merge 1 commit intomikewest:masterfrom grota:restore_wrap
grota wants to merge 1 commit intomikewest:masterfrom
grota:restore_wrap
Commits
Commits on Mar 7, 2012
- committed
Giuseppe Rota