📝 Remove useless dot

ericdambrosio · Jan 5, 2019 · 3dd0a22 · 3dd0a22
1 parent 120d21c
commit 3dd0a22
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/src/variables.md b/docs/src/variables.md
@@ -255,7 +255,6 @@ be obtained by [`JuMP.name(::JuMP.VariableRef)`](@ref) and set by
 name(::JuMP.VariableRef)
 set_name(::JuMP.VariableRef, ::String)
 ```
-.
 
 The variable can also be retrieved from its name using
 [`JuMP.variable_by_name`](@ref).