New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

modifying menues #169

Merged

FaragElsayed2 merged 1 commit into main from updating_klayout_menues

Aug 8, 2023

RehabSayed-G commented Aug 7, 2023

Fixes #<issue_number_goes_here>

It's a good idea to open an issue first for discussion.

Tests pass
Appropriate changes to README are included in PR


          modifying menues

240efce

RehabSayed-G requested a review from FaragElsayed2

August 7, 2023 16:54

Author

RehabSayed-G commented Aug 7, 2023

@FaragElsayed2 , ready for reviw

FaragElsayed2 approved these changes

View reviewed changes

FaragElsayed2 merged commit 7bd2d87 into main

42 checks passed

FaragElsayed2 deleted the updating_klayout_menues branch

August 8, 2023 06:31

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet