[lmi-commits] [lmi] master updated (df0d61d -> a729e6e)

[Greg Chicares]

chicares pushed a change to branch master.

      from  df0d61d   Turn narrative chroot instructions into scripts
       new  8b3b650   Note package name differences between debian and redhat
       new  0513996   Reformat a GNU/Linux setup script
       new  45dce64   Make a vim command run without complaining in a script
       new  4e2678f   Create a useful directory
       new  7437f8e   Modernize an obsolete command
       new  a729e6e   Coordinate timestamps when creating lmi source mirror


Summary of changes:
 lmi_setup_20.sh | 7 ++++++-
 lmi_setup_40.sh | 4 ++--
 lmi_setup_41.sh | 2 +-
 lmi_setup_43.sh | 9 ++++++++-
 4 files changed, 17 insertions(+), 5 deletions(-)