| Sat, 01 Apr 2023 19:15:38 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Sat, 01 Apr 2023 16:54:43 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 01 Apr 2023 15:01:35 +0200 |
wenzelm |
more uniform treatment of properties (but < 0 should not occur here);
|
changeset |
files
|
| Sat, 01 Apr 2023 14:59:42 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 01 Apr 2023 14:50:43 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 01 Apr 2023 14:32:02 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 01 Apr 2023 13:58:45 +0200 |
wenzelm |
misc tuning and clarification: more tight representation;
|
changeset |
files
|
| Sat, 01 Apr 2023 13:04:59 +0200 |
wenzelm |
tuned: prefer "build" combinator;
|
changeset |
files
|
| Sat, 01 Apr 2023 15:52:40 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 30 Mar 2023 16:10:50 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 30 Mar 2023 16:09:19 +0200 |
wenzelm |
more operations for profiling;
|
changeset |
files
|
| Thu, 30 Mar 2023 16:04:02 +0200 |
wenzelm |
provide rsync component, with uniform version + options on all platforms;
|
changeset |
files
|
| Thu, 30 Mar 2023 16:02:25 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Thu, 30 Mar 2023 15:33:02 +0200 |
wenzelm |
provide local component to remote directory;
|
changeset |
files
|