Adrien Piquerez 75d3bf2b5f [BSP] remove duplicated sources in sbt build target ... Also remove the base directory (`./project/`) from the list of source directories		2021-10-29 15:40:00 +02:00
..
src	[BSP] remove duplicated sources in sbt build target	2021-10-29 15:40:00 +02:00
NOTICE	Add, configure & enforce file headers	2017-10-05 09:03:40 +01:00