Skip to content
Snippets Groups Projects
Select Git revision
  • tips
  • develop default
  • image-directories
  • admin
  • current-student
  • piwik-test
  • navigation
  • movetounlcms
  • master
  • alert
  • depts
  • titles
  • prospective
  • visitor
14 results

UNL_Top_Level

  • Clone with SSH
  • Clone with HTTPS
  • Christopher Bohn's avatar
    Christopher Bohn authored
    Since the end-state of closeSession() is to have a null session, if
    session is already null, there is nothing to do.
    2ddaaadc
    History
    Name Last commit Last update