diff options
| author | Matej Kosik | 2015-10-29 09:52:53 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:07 +0100 |
| commit | e9db7237481e529f796d603f98965ca01e439386 (patch) | |
| tree | 29c4dbf66af1d84dd9ab31fa63e3c7c9007490f0 /plugins/syntax/r_syntax.ml | |
| parent | b23331eb03f2640e85bd65277c15a4bcc692b90c (diff) | |
CLEANUP PROPOSITION: Duplicate information was removed and replaced with a reference to the corresponding section.
Diffstat (limited to 'plugins/syntax/r_syntax.ml')
0 files changed, 0 insertions, 0 deletions