diff options
author | José Bollo <jose.bollo@iot.bzh> | 2016-02-10 10:48:17 +0100 |
---|---|---|
committer | José Bollo <jose.bollo@iot.bzh> | 2016-02-10 10:48:17 +0100 |
commit | ee82008b4b7b6a03287f86950d3bdb2b047b5bbc (patch) | |
tree | dd639e329287c987521961d1b6592688d6c8cedf /afm-client/dist.prod/sessions | |
parent | d663533aad6585b33f4fe3138ae6ed9e0b520e78 (diff) |
synchronize with sources
After modifying sources, gulp must be used using
the command:
gulp build-app-prod
That regenerates dist.prod/opa/AFBclient.min.js
I ran it and removed artefacts of dist.prod/sessions
Change-Id: If2a501291fcbd246727906205c46649fa2abce24
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'afm-client/dist.prod/sessions')
-rw-r--r-- | afm-client/dist.prod/sessions/AFB-probe.json | 1 | ||||
-rw-r--r-- | afm-client/dist.prod/sessions/AFB-process.pid | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/afm-client/dist.prod/sessions/AFB-probe.json b/afm-client/dist.prod/sessions/AFB-probe.json deleted file mode 100644 index ff8b7ad..0000000 --- a/afm-client/dist.prod/sessions/AFB-probe.json +++ /dev/null @@ -1 +0,0 @@ -{"checked":11342}
\ No newline at end of file diff --git a/afm-client/dist.prod/sessions/AFB-process.pid b/afm-client/dist.prod/sessions/AFB-process.pid deleted file mode 100644 index fc768ef..0000000 --- a/afm-client/dist.prod/sessions/AFB-process.pid +++ /dev/null @@ -1 +0,0 @@ -11359 |