Diffusion DEVILS plugin ce5d7bf4ae84

change name to DEVILS
ce5d7bf4ae84
Actions

Authored by romainGuiet on Mar 8 2018, 13:35.

Tags

None

Subscribers

None

Description

change name to DEVILS

Details

Committed

Mar 8 2018, 13:35

Pushed

Mar 8 2018, 13:38

Parents

R3926:22af0ae521d9: add output folder in advanced param and fix 16 or 32-bit option when call in…

Branches

Unknown

Tags

Unknown

Event Timeline

romainGuiet committed R3926:ce5d7bf4ae84: change name to DEVILS (authored by romainGuiet).Mar 8 2018, 13:35

Changes (6)

				Path
	V			src/main/java/{DEVILS_.java ← DEVIL_.java}
	V			src/main/java/{DEVIL_.java → DEVILS_.java}
	V			src/main/java/ch/epfl/biop/{DEVIL.java → DEVILS.java}
	V			src/main/java/ch/epfl/biop/{DEVILS.java ← DEVIL.java}
	M			src/main/java/ch/epfl/biop/DevilParam.java
	M			target/DEVIL_-1.0.0-SNAPSHOT.jar

R3926:ce5d7bf4ae84

src/main/java/DEVILS_.java

Loading...

src/main/java/DEVIL_.java

Loading...

src/main/java/ch/epfl/biop/DEVIL.java

Loading...

src/main/java/ch/epfl/biop/DEVILS.java

Loading...

src/main/java/ch/epfl/biop/DevilParam.java

Loading...

target/DEVIL_-1.0.0-SNAPSHOT.jar

Loading...