From 2b7b8049e590a7682ac913c25ba8241a6507c3c6 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 16 Jul 2021 16:06:57 +0200 Subject: [PATCH] [ivette] remove unnecessary double quotes from distributed filenames --- ivette/Makefile.distrib | 400 ++++++++++++++++++++-------------------- 1 file changed, 200 insertions(+), 200 deletions(-) diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib index 75c2c378915..ed4123a71fc 100644 --- a/ivette/Makefile.distrib +++ b/ivette/Makefile.distrib @@ -1,200 +1,200 @@ -DISTRIB_FILES += "ivette/.babelrc" -DISTRIB_FILES += "ivette/.dome-pkg-app.lock" -DISTRIB_FILES += "ivette/.dome-pkg-dev.lock" -DISTRIB_FILES += "ivette/.eslintignore" -DISTRIB_FILES += "ivette/.eslintrc.js" -DISTRIB_FILES += "ivette/.gitignore" -DISTRIB_FILES += "ivette/CONTRIBUTING.md" -DISTRIB_FILES += "ivette/INSTALL.md" -DISTRIB_FILES += "ivette/Makefile" -DISTRIB_FILES += "ivette/Makefile.distrib" -DISTRIB_FILES += "ivette/README.md" -DISTRIB_FILES += "ivette/configure.js" -DISTRIB_FILES += "ivette/doc/pandoc/href.lua" -DISTRIB_FILES += "ivette/doc/pandoc/index.json" -DISTRIB_FILES += "ivette/doc/pandoc/template.html" -DISTRIB_FILES += "ivette/electron-webpack.json" -DISTRIB_FILES += "ivette/headers/header_spec.txt" -DISTRIB_FILES += "ivette/headers/register.sh" -DISTRIB_FILES += "ivette/package.json" -DISTRIB_FILES += "ivette/src/dome/.gitignore" -DISTRIB_FILES += "ivette/src/dome/CONTRIBUTING.md" -DISTRIB_FILES += "ivette/src/dome/CONTRIBUTORS.md" -DISTRIB_FILES += "ivette/src/dome/LICENSE.md" -DISTRIB_FILES += "ivette/src/dome/README.md" -DISTRIB_FILES += "ivette/src/dome/doc/README.md" -DISTRIB_FILES += "ivette/src/dome/doc/config.json" -DISTRIB_FILES += "ivette/src/dome/doc/gallery.css" -DISTRIB_FILES += "ivette/src/dome/doc/guides/application.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/development.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/dome.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/glossary.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/hooks.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/hotreload.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/quickstart.md" -DISTRIB_FILES += "ivette/src/dome/doc/guides/styling.md" -DISTRIB_FILES += "ivette/src/dome/doc/icons.js" -DISTRIB_FILES += "ivette/src/dome/doc/iconsmd.js" -DISTRIB_FILES += "ivette/src/dome/doc/template/gallery-head.html" -DISTRIB_FILES += "ivette/src/dome/doc/template/gallery-tail.html" -DISTRIB_FILES += "ivette/src/dome/doc/template/publish.js" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/linenumber.js" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/lang-css.js" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/prettify.js" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/jsdoc-default.css" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/prettify-jsdoc.css" -DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/prettify-tomorrow.css" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/augments.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/container.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/details.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/example.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/examples.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/exceptions.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/layout.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/mainpage.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/members.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/method.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/params.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/properties.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/returns.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/source.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/tutorial.tmpl" -DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/type.tmpl" -DISTRIB_FILES += "ivette/src/dome/examples/Makefile" -DISTRIB_FILES += "ivette/src/dome/examples/README.md" -DISTRIB_FILES += "ivette/src/dome/main/dome.ts" -DISTRIB_FILES += "ivette/src/dome/main/menubar.ts" -DISTRIB_FILES += "ivette/src/dome/misc/devtools.js" -DISTRIB_FILES += "ivette/src/dome/misc/register.js" -DISTRIB_FILES += "ivette/src/dome/misc/system.ts" -DISTRIB_FILES += "ivette/src/dome/misc/utils.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/controls/buttons.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/controls/gallery.json" -DISTRIB_FILES += "ivette/src/dome/renderer/controls/icons.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/controls/labels.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/controls/style.css" -DISTRIB_FILES += "ivette/src/dome/renderer/data/compare.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/data/json.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/data/library.js" -DISTRIB_FILES += "ivette/src/dome/renderer/data/settings.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/data/states.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/dialogs.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/dnd.js" -DISTRIB_FILES += "ivette/src/dome/renderer/dome.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/errors.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/frame/sidebars.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/frame/style.css" -DISTRIB_FILES += "ivette/src/dome/renderer/frame/tabs.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/frame/toolbars.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/boxes.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/dispatch.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/forms.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/grids.js" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/splitters.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/layout/style.css" -DISTRIB_FILES += "ivette/src/dome/renderer/style.css" -DISTRIB_FILES += "ivette/src/dome/renderer/table/arrays.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/table/models.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/table/style.css" -DISTRIB_FILES += "ivette/src/dome/renderer/table/views.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/text/buffers.ts" -DISTRIB_FILES += "ivette/src/dome/renderer/text/editors.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/text/pages.tsx" -DISTRIB_FILES += "ivette/src/dome/renderer/text/style.css" -DISTRIB_FILES += "ivette/src/dome/template/Application.js" -DISTRIB_FILES += "ivette/src/dome/template/Preferences.js" -DISTRIB_FILES += "ivette/src/dome/template/babelrc.json" -DISTRIB_FILES += "ivette/src/dome/template/dome-pull.sh" -DISTRIB_FILES += "ivette/src/dome/template/dome-push.sh" -DISTRIB_FILES += "ivette/src/dome/template/electron-webpack.json" -DISTRIB_FILES += "ivette/src/dome/template/export.sh" -DISTRIB_FILES += "ivette/src/dome/template/git-ignore" -DISTRIB_FILES += "ivette/src/dome/template/main.js" -DISTRIB_FILES += "ivette/src/dome/template/makefile" -DISTRIB_FILES += "ivette/src/dome/template/makefile.app.packages" -DISTRIB_FILES += "ivette/src/dome/template/makefile.packages" -DISTRIB_FILES += "ivette/src/dome/template/package.sh" -DISTRIB_FILES += "ivette/src/dome/template/renderer.js" -DISTRIB_FILES += "ivette/src/dome/template/typescript.el" -DISTRIB_FILES += "ivette/src/dome/template/update.sh" -DISTRIB_FILES += "ivette/src/dome/template/webpack.main.js" -DISTRIB_FILES += "ivette/src/dome/template/webpack.renderer.js" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/ast/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/data/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/project/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/properties/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/services/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/dive/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/eva/general/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/eva/values/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts" -DISTRIB_FILES += "ivette/src/frama-c/api/generator.ml" -DISTRIB_FILES += "ivette/src/frama-c/index.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/ASTinfo.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/ASTview.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/Globals.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/History.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/Locations.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/Properties.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/SourceCode.tsx" -DISTRIB_FILES += "ivette/src/frama-c/kernel/style.css" -DISTRIB_FILES += "ivette/src/frama-c/pkg.json" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/cytoscape_libs.js" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/index.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/layouts.json" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/pkg.json" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/style.json" -DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/tippy.css" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/cells.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/diffed.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/index.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/layout.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/model.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/pkg.json" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/probeinfos.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/probes.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/sized.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/stacks.ts" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/style.css" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/valueinfos.tsx" -DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/valuetable.tsx" -DISTRIB_FILES += "ivette/src/frama-c/server.ts" -DISTRIB_FILES += "ivette/src/frama-c/states.ts" -DISTRIB_FILES += "ivette/src/frama-c/utils.ts" -DISTRIB_FILES += "ivette/src/ivette/index.tsx" -DISTRIB_FILES += "ivette/src/ivette/prefs.tsx" -DISTRIB_FILES += "ivette/src/main/index.js" -DISTRIB_FILES += "ivette/src/renderer/Application.tsx" -DISTRIB_FILES += "ivette/src/renderer/Controller.tsx" -DISTRIB_FILES += "ivette/src/renderer/Extensions.tsx" -DISTRIB_FILES += "ivette/src/renderer/Laboratory.tsx" -DISTRIB_FILES += "ivette/src/renderer/Preferences.tsx" -DISTRIB_FILES += "ivette/src/renderer/index.js" -DISTRIB_FILES += "ivette/src/renderer/style.css" -DISTRIB_FILES += "ivette/tests/eva-1.i" -DISTRIB_FILES += "ivette/tests/eva-2.i" -DISTRIB_FILES += "ivette/tsconfig.json" -DISTRIB_FILES += "ivette/tsfmt.json" -DISTRIB_FILES += "ivette/webpack.main.js" -DISTRIB_FILES += "ivette/webpack.renderer.js" -DISTRIB_FILES += "ivette/yarn.lock" +DISTRIB_FILES += ivette/.babelrc +DISTRIB_FILES += ivette/.dome-pkg-app.lock +DISTRIB_FILES += ivette/.dome-pkg-dev.lock +DISTRIB_FILES += ivette/.eslintignore +DISTRIB_FILES += ivette/.eslintrc.js +DISTRIB_FILES += ivette/.gitignore +DISTRIB_FILES += ivette/CONTRIBUTING.md +DISTRIB_FILES += ivette/INSTALL.md +DISTRIB_FILES += ivette/Makefile +DISTRIB_FILES += ivette/Makefile.distrib +DISTRIB_FILES += ivette/README.md +DISTRIB_FILES += ivette/configure.js +DISTRIB_FILES += ivette/doc/pandoc/href.lua +DISTRIB_FILES += ivette/doc/pandoc/index.json +DISTRIB_FILES += ivette/doc/pandoc/template.html +DISTRIB_FILES += ivette/electron-webpack.json +DISTRIB_FILES += ivette/headers/header_spec.txt +DISTRIB_FILES += ivette/headers/register.sh +DISTRIB_FILES += ivette/package.json +DISTRIB_FILES += ivette/src/dome/.gitignore +DISTRIB_FILES += ivette/src/dome/CONTRIBUTING.md +DISTRIB_FILES += ivette/src/dome/CONTRIBUTORS.md +DISTRIB_FILES += ivette/src/dome/LICENSE.md +DISTRIB_FILES += ivette/src/dome/README.md +DISTRIB_FILES += ivette/src/dome/doc/README.md +DISTRIB_FILES += ivette/src/dome/doc/config.json +DISTRIB_FILES += ivette/src/dome/doc/gallery.css +DISTRIB_FILES += ivette/src/dome/doc/guides/application.md +DISTRIB_FILES += ivette/src/dome/doc/guides/development.md +DISTRIB_FILES += ivette/src/dome/doc/guides/dome.md +DISTRIB_FILES += ivette/src/dome/doc/guides/glossary.md +DISTRIB_FILES += ivette/src/dome/doc/guides/hooks.md +DISTRIB_FILES += ivette/src/dome/doc/guides/hotreload.md +DISTRIB_FILES += ivette/src/dome/doc/guides/quickstart.md +DISTRIB_FILES += ivette/src/dome/doc/guides/styling.md +DISTRIB_FILES += ivette/src/dome/doc/icons.js +DISTRIB_FILES += ivette/src/dome/doc/iconsmd.js +DISTRIB_FILES += ivette/src/dome/doc/template/gallery-head.html +DISTRIB_FILES += ivette/src/dome/doc/template/gallery-tail.html +DISTRIB_FILES += ivette/src/dome/doc/template/publish.js +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg +DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff +DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/linenumber.js +DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt +DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/lang-css.js +DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/prettify.js +DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/jsdoc-default.css +DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-jsdoc.css +DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-tomorrow.css +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/augments.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/container.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/details.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/example.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/examples.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/exceptions.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/layout.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/mainpage.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/members.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/method.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/params.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/properties.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/returns.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/source.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/tutorial.tmpl +DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/type.tmpl +DISTRIB_FILES += ivette/src/dome/examples/Makefile +DISTRIB_FILES += ivette/src/dome/examples/README.md +DISTRIB_FILES += ivette/src/dome/main/dome.ts +DISTRIB_FILES += ivette/src/dome/main/menubar.ts +DISTRIB_FILES += ivette/src/dome/misc/devtools.js +DISTRIB_FILES += ivette/src/dome/misc/register.js +DISTRIB_FILES += ivette/src/dome/misc/system.ts +DISTRIB_FILES += ivette/src/dome/misc/utils.ts +DISTRIB_FILES += ivette/src/dome/renderer/controls/buttons.tsx +DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json +DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx +DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx +DISTRIB_FILES += ivette/src/dome/renderer/controls/style.css +DISTRIB_FILES += ivette/src/dome/renderer/data/compare.ts +DISTRIB_FILES += ivette/src/dome/renderer/data/json.ts +DISTRIB_FILES += ivette/src/dome/renderer/data/library.js +DISTRIB_FILES += ivette/src/dome/renderer/data/settings.ts +DISTRIB_FILES += ivette/src/dome/renderer/data/states.ts +DISTRIB_FILES += ivette/src/dome/renderer/dialogs.tsx +DISTRIB_FILES += ivette/src/dome/renderer/dnd.js +DISTRIB_FILES += ivette/src/dome/renderer/dome.tsx +DISTRIB_FILES += ivette/src/dome/renderer/errors.tsx +DISTRIB_FILES += ivette/src/dome/renderer/frame/sidebars.tsx +DISTRIB_FILES += ivette/src/dome/renderer/frame/style.css +DISTRIB_FILES += ivette/src/dome/renderer/frame/tabs.tsx +DISTRIB_FILES += ivette/src/dome/renderer/frame/toolbars.tsx +DISTRIB_FILES += ivette/src/dome/renderer/layout/boxes.tsx +DISTRIB_FILES += ivette/src/dome/renderer/layout/dispatch.tsx +DISTRIB_FILES += ivette/src/dome/renderer/layout/forms.tsx +DISTRIB_FILES += ivette/src/dome/renderer/layout/grids.js +DISTRIB_FILES += ivette/src/dome/renderer/layout/splitters.tsx +DISTRIB_FILES += ivette/src/dome/renderer/layout/style.css +DISTRIB_FILES += ivette/src/dome/renderer/style.css +DISTRIB_FILES += ivette/src/dome/renderer/table/arrays.ts +DISTRIB_FILES += ivette/src/dome/renderer/table/models.ts +DISTRIB_FILES += ivette/src/dome/renderer/table/style.css +DISTRIB_FILES += ivette/src/dome/renderer/table/views.tsx +DISTRIB_FILES += ivette/src/dome/renderer/text/buffers.ts +DISTRIB_FILES += ivette/src/dome/renderer/text/editors.tsx +DISTRIB_FILES += ivette/src/dome/renderer/text/pages.tsx +DISTRIB_FILES += ivette/src/dome/renderer/text/style.css +DISTRIB_FILES += ivette/src/dome/template/Application.js +DISTRIB_FILES += ivette/src/dome/template/Preferences.js +DISTRIB_FILES += ivette/src/dome/template/babelrc.json +DISTRIB_FILES += ivette/src/dome/template/dome-pull.sh +DISTRIB_FILES += ivette/src/dome/template/dome-push.sh +DISTRIB_FILES += ivette/src/dome/template/electron-webpack.json +DISTRIB_FILES += ivette/src/dome/template/export.sh +DISTRIB_FILES += ivette/src/dome/template/git-ignore +DISTRIB_FILES += ivette/src/dome/template/main.js +DISTRIB_FILES += ivette/src/dome/template/makefile +DISTRIB_FILES += ivette/src/dome/template/makefile.app.packages +DISTRIB_FILES += ivette/src/dome/template/makefile.packages +DISTRIB_FILES += ivette/src/dome/template/package.sh +DISTRIB_FILES += ivette/src/dome/template/renderer.js +DISTRIB_FILES += ivette/src/dome/template/typescript.el +DISTRIB_FILES += ivette/src/dome/template/update.sh +DISTRIB_FILES += ivette/src/dome/template/webpack.main.js +DISTRIB_FILES += ivette/src/dome/template/webpack.renderer.js +DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/ast/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/data/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/project/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/properties/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/services/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/dive/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/general/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/values/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generator.ml +DISTRIB_FILES += ivette/src/frama-c/index.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/style.css +DISTRIB_FILES += ivette/src/frama-c/pkg.json +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/layouts.json +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json +DISTRIB_FILES += ivette/src/frama-c/plugins/dive/tippy.css +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/cells.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/diffed.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/layout.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/model.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/pkg.json +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/probeinfos.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/probes.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/sized.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/stacks.ts +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valueinfos.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx +DISTRIB_FILES += ivette/src/frama-c/server.ts +DISTRIB_FILES += ivette/src/frama-c/states.ts +DISTRIB_FILES += ivette/src/frama-c/utils.ts +DISTRIB_FILES += ivette/src/ivette/index.tsx +DISTRIB_FILES += ivette/src/ivette/prefs.tsx +DISTRIB_FILES += ivette/src/main/index.js +DISTRIB_FILES += ivette/src/renderer/Application.tsx +DISTRIB_FILES += ivette/src/renderer/Controller.tsx +DISTRIB_FILES += ivette/src/renderer/Extensions.tsx +DISTRIB_FILES += ivette/src/renderer/Laboratory.tsx +DISTRIB_FILES += ivette/src/renderer/Preferences.tsx +DISTRIB_FILES += ivette/src/renderer/index.js +DISTRIB_FILES += ivette/src/renderer/style.css +DISTRIB_FILES += ivette/tests/eva-1.i +DISTRIB_FILES += ivette/tests/eva-2.i +DISTRIB_FILES += ivette/tsconfig.json +DISTRIB_FILES += ivette/tsfmt.json +DISTRIB_FILES += ivette/webpack.main.js +DISTRIB_FILES += ivette/webpack.renderer.js +DISTRIB_FILES += ivette/yarn.lock -- GitLab