Ignore:
Timestamp:
09/22/20 08:52:39 (4 years ago)
Author:
bart
Message:

Version 1.5.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/main/java/geniusweb/partiesserver/repository/RunningParty.java

    r8 r18  
    1111import geniusweb.actions.PartyId;
    1212import geniusweb.connection.DefaultConnection;
     13import geniusweb.inform.Inform;
    1314import geniusweb.partiesserver.RunningPartiesUpdater;
    1415import geniusweb.partiesserver.websocket.PartySocket;
    1516import geniusweb.party.Party;
    16 import geniusweb.party.inform.Inform;
    1717import tudelft.utilities.repository.RepoElement;
    1818
Note: See TracChangeset for help on using the changeset viewer.