projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 355dcf6) | patch
Remove Eclipse project files (#1928)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 21 May 2018 18:37:26 +0000 (21:37 +0300)
committerGitHub <noreply@github.com>
Mon, 21 May 2018 18:37:26 +0000 (21:37 +0300)
commitc975ef8d15438e151f94a0a7f3d1adb6ac7918dc
tree327096fd206f4361bea3245959afedaae515cf85tree
parent355dcf6675673b7b671a6452b56a29c7663882dccommit | diff
Remove Eclipse project files (#1928)

No one of the core devs is currently using Eclipse, so the Eclipse
project files are essentially useless since they are not guaranteed to
be up-to-date.
.cproject [deleted file] blob | history
.project [deleted file] blob | history
.settings/language.settings.xml [deleted file] blob | history
.settings/net.certiv.antlrdt.core.prefs [deleted file] blob | history
.settings/org.eclipse.cdt.core.prefs [deleted file] blob | history
.settings/org.eclipse.ltk.core.refactoring.prefs [deleted file] blob | history