search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63 stars 28 forks source link

pragma Indention #56

Closed jquorning closed 3 years ago

jquorning commented 4 years ago

pragma Indention (ZYX, " ");

raph-amiard commented 4 years ago

Hi @jquorning , thank you for your interest!

However, you should supply more information on your issues, so that we can at least understand what you are proposing. Could you please fill the description with a small explanation of the problem and potential solution ?

Thanks in advance.

jquorning commented 4 years ago

I will fill in more info in a week or two

Den 10. aug. 2020 kl. 11.00 skrev Raphaël AMIARD notifications@github.com:

Hi @jquorning https://github.com/jquorning , thank you for your interest!

However, you should supply more information on your issues, so that we can at least understand what you are proposing. Could you please fill the description with a small explanation of the problem and potential solution ?

Thanks in advance.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/AdaCore/ada-spark-rfcs/issues/56#issuecomment-671240267, or unsubscribe https://github.com/notifications/unsubscribe-auth/AE7XEZCBE2ZURIT3YI5BYQTR76ZJHANCNFSM4PZDJITQ.

— Jesper Quorning Brovej 18 8543 Hornslet jesper.quorning@gmail.com

raph-amiard commented 3 years ago

Hi @jquorning,

This issue has not been completed, and even from the brief description, looks out of scope for us.

Kind regards