Matthijs Kooijman
1c9678f21d
Remove empty libraries directory ...
In commit 067d7e925 (Delete builtin libraries sources) all the libraries
in there were removed, since they are all now automatically downloaded
during the build. To keep the repository clean, remove the empty
directory as well as the build rule that was used to copy libraries from
this (now empty) directory into the build result.
2020-05-11 15:33:32 +02:00
2020-01-31 08:34:17 +01:00
2020-03-09 11:31:55 +01:00
2020-03-23 12:48:22 +01:00
2020-03-09 11:31:55 +01:00
2015-05-20 16:33:33 +02:00
2020-01-23 10:32:26 +01:00
2020-02-12 12:24:00 +01:00
2020-02-12 12:24:00 +01:00
2020-02-12 12:24:00 +01:00
2020-02-12 12:24:00 +01:00
2020-02-12 13:00:38 +01:00
2020-02-12 12:24:00 +01:00
2019-12-02 16:44:27 +01:00
2018-08-22 17:26:23 +02:00
2018-08-28 17:55:00 +02:00
2018-08-28 17:55:00 +02:00
2020-05-11 15:33:32 +02:00
2015-09-24 17:08:12 +02:00
2015-05-20 17:10:06 +02:00
2015-09-24 11:33:16 +02:00
2018-08-22 17:26:23 +02:00
2015-05-20 17:10:06 +02:00
2018-08-22 17:26:23 +02:00
2018-08-22 17:26:23 +02:00
2018-08-22 17:26:23 +02:00
2020-01-08 11:41:34 +01:00
2020-01-08 11:41:34 +01:00
2017-08-10 10:34:36 +02:00
2016-03-08 17:43:43 +01:00
2015-08-10 09:07:55 +02:00
2017-08-18 13:10:57 +02:00
2017-08-18 13:10:57 +02:00
2017-08-18 13:10:57 +02:00
2020-01-23 10:32:26 +01:00
2020-01-23 10:32:26 +01:00
2020-01-23 10:32:26 +01:00
2018-08-22 17:26:23 +02:00
2017-03-21 12:15:02 +01:00
2018-08-22 17:26:23 +02:00
2018-08-22 17:26:23 +02:00
1c9678f21d