Anthony Leonardo Gracio 7c1ba23818 Revert "Merge branch 'topic/gs_56_bookmark_leaking_buffer' into 'master'" ...

This reverts merge request !195

2023-09-08 10:59:06 +00:00

..

.cvsignore

…

gps_preferences_types.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-core_kernels.adb

W322-018 Introduce a cache for 'finding file in project'

2023-03-30 12:47:33 +00:00

gps-core_kernels.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-customizable_modules.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-customizable_modules.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-editors.adb

Revert "Merge branch 'topic/gs_56_bookmark_leaking_buffer' into 'master'"

2023-09-08 10:59:06 +00:00

gps-editors.ads

Revert "Merge branch 'topic/gs_56_bookmark_leaking_buffer' into 'master'"

2023-09-08 10:59:06 +00:00

gps-intl.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-intl.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-markers.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-markers.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-messages_windows.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-process_launchers.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-properties.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-properties.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-commands.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-commands.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-entities.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-entities.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-file_locations.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-file_locations.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-files.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts-files.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-scripts.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-tools_output.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps-tools_output.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

gps.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

language_handlers.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

language_handlers.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

projects-views.adb

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

projects-views.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

projects.adb

W322-018 Introduce a cache for 'finding file in project'

2023-03-30 12:47:33 +00:00

projects.ads

W322-018 Introduce a cache for 'finding file in project'

2023-03-30 12:47:33 +00:00

xref.adb

W228-019: Remove redundant parentheses

2023-02-28 16:36:38 +01:00

xref.ads

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00