ChangePropagation.java

package org.jabref.model.database.event;

public enum ChangePropagation {
    POST_EVENT, DO_NOT_POST_EVENT
}