diff options
| author | Romain Derie <rde@odoo.com> | 2019-06-03 14:26:14 +0000 |
|---|---|---|
| committer | Jeremy Kersten <jke@odoo.com> | 2019-06-05 05:56:33 +0000 |
| commit | fbe5b64eb3d962e1c828e77d848f85a8edfcdde8 (patch) | |
| tree | eafc70e76b6fc31be31d8a7acb7fb41d09569fe1 /addons/web/static/src/js/tools | |
| parent | 3c37e0e1100c77a1e344f5153be756f12c3c777b (diff) | |
[IMP] web: rename file to prepare changes on next commit
As this file will be split in 2 parts, this will minimize diff.
task-1934445
Comes with odoo/enterprise#4281
Closes #33213
Diffstat (limited to 'addons/web/static/src/js/tools')
| -rw-r--r-- | addons/web/static/src/js/tools/debug_manager_backend.js (renamed from addons/web/static/src/js/tools/debug_manager.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/addons/web/static/src/js/tools/debug_manager.js b/addons/web/static/src/js/tools/debug_manager_backend.js index 29fe1123e1f..29fe1123e1f 100644 --- a/addons/web/static/src/js/tools/debug_manager.js +++ b/addons/web/static/src/js/tools/debug_manager_backend.js |