tree 74f88b4e9df16abe00a08beed513519863559925
parent 24810927028aa8ec738dedec638a71621a71c146
author Alexander Afanasyev <aa@cs.fiu.edu> 1550092746 -0500
committer Alexander Afanasyev <aa@cs.fiu.edu> 1550157796 -0500

docs: Correct Ubuntu installation instructions

Now should work with 18.04

Change-Id: I272c76ea93e1e075f5e162f868a859f207e2804e